Filozofija

Не постоје подаци о траженом курсу.
План курса:

1. недеља
предавање - Природни бројеви и ординали, коначни и бесконачни скупови

2. недеља
предавање - Пребројиви и непребројиви скупови
Пребројиви и непребројиви скупови, пребројивост целих и рационалних бројева, непребројивост реалних бројева

3. недеља
предавање - Пеанове аксиоме и формална аритметика

4. недеља
предавање - Геделови резултати о непотпуности

5. недеља
предавање - Непротивречност аритметике

6. недеља
предавање - Појам израчунљиве функције, неодлучивост

7. недеља
предавање - Рачун ламбда

8. недеља
предавање - Парадокси и аксиоме теорије скупова

9. недеља
предавање - Основе математике у теорији категорија

10. недеља
предавање - Теорија доказа

11. недеља
предавање - Логицизам и формализам

12. недеља
предавање - Конструктивизам и платонизам

13. недеља
предавање - Основе матетике и теорија категорија
Литература и извори података:
Општа обавезна литература
једно или више класичних дела из филозофије математике од Фрегеа, или Хилберта, или Браувера, или Гедела, или Витгенштајна -- већ шта се те године изучава
Општа допунска литература

Ж. Мијајловић, З. Марковић и К. Дошен, Хилбертови проблеми и логика, Завод за уџбенике и наставна средства, Београд, 1986

G.S. Boolos, J.P. Burgess and R.C. Jeffrey, Computability and Logic, Cambridge University Press, 2007

З. Шикић (прир.), Новија филозофија математике, Нолит, 1987

P. Benacerraf and H. Putnam (eds), Philosophy of Mathematics: Selected Readings (second edition), Cambridge University Press, 1983

↑↑↑