Bizonyítások és cáfolatok
A matematikai felfedezések logikája

Lakatos Imre (Szerző)

Tartalom:
- Egy probléma és egy sejtés
- Egy bizonyítás
- A bizonyítás kritikája helyi, de nem globális ellenpéldákkal
- A sejtés kritikája globális ellenpéldákkal
- A bizonyításelemzés kritikája globális, de nem helyi ellenpéldákkal. A szigorúság problémája
- Visszatérés a bizalmas helyi, de nem globális ellenpéldákkal való kritikájára. A tartalom problémája
- Visszatérés a tartalom problémájára
- Fogalomalkotás
- Hogyan alakíthatja át a kritika a matematikai igazságot logikai igazsággá?
- A sejtés lefordítása a vektoralgebra "tökéletesen ismert" terminusaira. A fordítás problémája
- A sejtés újabb bizonyítása
- Kételyek a bizonyítás véglegességét illetően. A fordítási eljárás meg a definíciók esszencialista és nominalista megközelítésének ellentéte
- Függelék: Még egy esettanulmány a bizonyítások és cáfolatok módszerére
- Függelék: A deduktivista és a heurisztikai megközelítés ellentéte

A könyvben ceruzás aláhúzások láthatók, kötésben gyenge.

Kiadó: Gondolat Könyvkiadó
Kiadás helye: Budapest
Kiadás éve: 1981
Kötéstípus: Ragasztott papírkötés
Oldalszám: 244