3 Feb
1997
3 Feb
'97
4:06 p.m.
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