Kadotetun loogikon kirjoituksia kellarista
Finna-arvio
Kadotetun loogikon kirjoituksia kellarista
Tallennettuna:
Genre | |
---|---|
Kieli |
suomi |
Huomautukset |
Teema: Tieteen persoonat. Gerhard Gentzen, 1909-1945, tutki matemaattisia todistuksia, luonnollista päättelyä ja sekvenssikalkyyliä, joista myöhemmin tuli perusta ohjelmointikielten kehitykselle ja niiden verifioinnille. Gentzen jatkoi Kurt Gödelin epätäydellisyysteoreeman (1931) merkityksen selvittämistä. |
Luokitus | |
Aiheet/asiasanat |