Inleiding - De geboorte van de moderne logica - Het eind van Leibniz ideaal
3 belangrijke vragen over Inleiding - De geboorte van de moderne logica - Het eind van Leibniz ideaal
Is Leibniz eis voor een rekenmethode (calculus ratiocinator) om in taal geformuleerde problemen mechanisch te beslissen, uiteindelijk gerealiseerd?
- Nee, Frege slaagde er niet in een taal te ontwikkelen waarin alle problemen die in de taal geformuleerd worden, ook kunnen worden opgelost.
- Menselijk redeneren is meer dan logisch afleiden.
- Freges taal => geen van de bekende procedures heeft kracht om alle in deze taal geformuleerde problemen te beslissen.
Wie toonden aan dat er geen procedure kan zijn die alle in de taal geformuleerde problemen kan beslissen?
- Kurt Gödel - onvolledigheidsstelling.
- Alonzo Chruch en Alan Turing
Wat toonden Alonzo Church en Alan Turing onafhankelijk van elkaar aan?
Er is geen mechanische methode volgens welke alle ware stellingen van de eersteordepredicatenlogisca beslisbaar zijn.
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
