Kurt Godel1929
Establishes completeness for the standard proof system of first-order logic.
Austria · Science / Mathematics. Chronological records rendered directly from the World History Database.
Establishes completeness for the standard proof system of first-order logic.
This factsheet is generated from stored World History Database records matching the country, broad category, detailed category and exact Event value shown above. Duplicate display records are collapsed; database wording is otherwise preserved. Source provenance varies by record, so formal academic citation should be checked against the relevant primary source, archive or specialist historical reference.