Filter
Matematisk logik
Filter
An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of …