ჯერემი ავიჯედი
მე ვარკარნეგის მელონის უნივერსიტეტი ს ფილოსოფი ის დეპარტამენტისა და მათემატიკის მეცნიერებათა დეპარტამენტის პროფესორი
და მონაწილეობას ვიღებ კარნეგის მელონის
ინტერდისციპლინარულ პროგრამაში სახელწოდებით „ელემენტარული და გამოყენებითი ლოგიკა“.
ასევე შეგიძლიათ წაიკითხოთ ჩემი CV.
კვლევითი ინტერესები
მათემატიკური ლოგიკა, მტკიცებულებათა თეორია, ფილოსოფია, მათემატიკა, ფორმალური მტკიცებულება, ლოგიკური მსჯელობა,მათემატიკის ისტორია.
ოფისი
161D ბეიკერ ჰოლი
(412) 268-8149
ელექტრონული ფოსტა
avigad@cmu.edu
საფოსტო მისამართი
ფილოსოფიის დეპარტამენტი
ბეიკერ ჰოლი 135
კარნეგის მელონ უნივერსიტეტი
პიტსბურგი, PA 15213
ამერიკის შეერთებული შტატები
ჩემს შესახებ
2011 წლის შემოდგომაზე, ფრეშმანის სემინარზე მე ვასწავლიდი მათემატიკის ისტორიასა და ფილოსოფიას.
ფორუმში „ინტერაქტიული თეორემის დამადასტურებელი და მათემატიკის ფორმალიზება “
ანდრეა ასპეტისთან ერტად მე ვთანამშრომლობდი თემაზე ‘მათემატიკის სტრუქტურები კომპიუტერულ მეცნიერებაში’
ბონი გოლდის და როჯერ ა. სიმონსის ჩემი მიმოხილვა „მტკიცებულებები და სხვა დილემა: მათემატიკა და ფილოსოფია“ ახლახანს გამოჩნდა ამერიკული მათემატიკური საზოგადოების შენიშვნებში: pdf.
2010 წლის შემოდგომაზე, კენ მანდერსთან ერთად ვასწავლიდი სემინარზე „მათემატიკის ისტორია და ფილოსოფია“, სადაც გაკეთდა აქცენტი მე-XIX საუკუნეში ალგებრასა და რიცხვთა თეორიის განვითარებაზე.
მე ვარ „სიმბოლური ლოგიკის მიმოხილვის“ რედაქტორ -კოორდინატორი.
ასევე მე მონაწილეობას ვღებულობ ჟურნალ „ავტომატიზაცია და არგუმენტები“-ის დაჟურნალ „ფორმალური არგუმეტნაცია“-სსარედაქციო ჯგუფში, ვარ ჯურნალ „ლოგიკა და ანალიზი“-ს მენეჯერი. მე შევუერთდი რედაქციის ახალ საინტერესო წამოწყებას სახელწოდებით „ Computability“? სადაც ხვდება უამრავი საინტერესო პუბლიკაციები.