matematikafilozofia szeminarium - koglist

3 Feb 1997

Tisztelt (esetleges) erdeklodok,
itt kuldom a szeminariumom tematikajat TeX formatumban. Mint alabb is
olvashato, oraamegbeszeles penteken (febr. 7.) 11-kor a BTK logika
tanszeken. Ha kifuggeszted, koszonet erte.
mate andras
%%%%%Itt az eleje
\def\hb{\hfill\break}
\parindent -.5cm
\nopagenumbers
\centerline{
 FL-300.xx  A matematika filoz\'ofi\'aja II.}
\medskip\centerline{ M\'at\'e Andr\'as adjunktus}
A kurzus c\'elja, hogy szemin\'ariumi form\'aban megismertessen a matematika
          filoz\'ofi\'aj\'anak mai (\'ertsd: a 60-as --- 90-es
\'evekbeli)
          kurrens t\'em\'aival \'es n\'eh\'any jelent\H os szerz\H
oj\'evel.
          \par{\bf Tematika:}
          I. Klasszikus eredm\'enyek \hb
          a./ Teljess\'eg \'es konzisztencia\hb
          Smullyan: {\sl G\"odel's Incompleteness Theorems\/},
          Oxford, 1992.\hb
          b./ Algoritmusok, eld\"onthet\H os\'eg\hb
          Penrose: {\sl The Emperor's New Mind\/} Oxford, 1989:
          pp. 30--73. (Magyar ford\'\i t\'asa nagy \'ovatoss\'aggal
          kezelend\H o\?)\hb
          Ruzsa: {\sl Logikai szintaxis \'es szemantika I\/}
          Budapest, 1989
          II. A halmaz fogalma\hb
          Parsons: `Sets and Classes', in:
          {\sl Mathematics in Philosophy},
          Cornell U.P., 1983.\hb
          Boolos: `The iterative conncept of set', in:
           Benacerraf-Putnam: {\sl Philosophy of mathematics}, 2.
          kiad.: Cambridge U.P., 1983 (= Benacerraf--Putnam[1983])\hb
          Parsons: `What is the iterative concept of set?', uo.\hb
          Wang: `The concept of set', uo.
          III. A Skolem--paradoxon\hb
          Machover: {\sl Set theory, logic and their
          limitations\/}, Cambridge, 1996
          IV. A term\'eszetes sz\'amok\hb
          Benacerraf: `What numbers could not be', in:
          Benacerraf--Putnam[1983]
V. Matematika \'es realizmus\hb
                 Dummett: `What is mathematics about'\hb
                 ---: `Realism and anti--realism',\hb
                 mindkett\H o in: {\sl The seas of language\/}, Oxford,
          1993
VI. G\"odel \'es a filoz\'ofia\hb
Wang: {\sl Reflections on Kurt G\"odel\/}, Cambridge(Mass.),
          1987: pp. 187--208\hb
          G\"odel: `What is Cantor's continuum problem?', in:
          Benacerraf--Putnam[1983]
\medskip{\bf \'Oramegbesz\'el\'es:} febr. 7., 11h, B\"olcs\'eszkar
(Pesti B.
          u. 1.) A. \'ep. f\'elem. 23.
\bye
%%%%itt a vege