Besonderhede van voorbeeld: -4569650303525943398

English

Set theory originated in the study of the infinite by Georg Cantor, and it has been the source of many of the most challenging and important issues in mathematical logic, from Cantor's theorem, through the status of the Axiom of Choice and the question of the independence of the continuum hypothesis, to the modern debate on large cardinal axioms.

Finnish

Joukko-oppi sai alkunsa Georg Cantorin äärettömyyden tutkimuksista ja se on tuottanut monet matemaattisen logiikan haastavimmista ja merkittävimmistä ongelmista (kuten Cantorin lause, valinta-aksiooma ja kontinuumihypoteesi). Rekursioteoria kuvaa laskentaa logiikan ja aritmetiikan avulla. Sen klassisimpia saavutuksia ovat Alan Turingin Entscheidungsproblemin osoittaminen ratkaisemattomaksi sekä Churchin-Turingin teesi.