Brněnský rodák Kurt Gödel se stal slavný pracemi o formalizaci logických systémů. Jeho věta o neúplnosti z r. 1931 patří k nejpozoruhodnějším výsledkům matematiky 20. století, neboť její součástí je mimo jiné náčrt principu programování počítačů. Filosoficky se týká základů vědeckého poznávání, které lze do nekonečna rozšiřovat překonáváním rozporů a paradoxů, ale které nikdy nemůže dospět do konečného stadia úplnosti. Méně známé, ale nikoli méně pozoruhodné je Gödelovo kosmologické řešení Einsteinových rovnic s časovou smyčkou; v Gödelově vesmíru by bylo možné cestovat časem do minulosti.