Uniwersytet Wiedeński, 1929.. 1931: Gödel publikuje sławne dwa twierdzenia o niezupełnościGödel, Kurt: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. "Monatshefte für Mathematik und Physik" 38 (1931), s. 173-98. 1933: Alfred Tarski publikuje sławną pracę o niedefiniowalności pojęcia prawdyTarski, Alfred: Pojęcie prawdy w językach nauk dedukcyjnych, "Travaux de la Societe des Sciences et des Lettres de Varsovie", Classe III, no 34 (1933).. 1936: Alan Turing wprowadza pojęcie maszyny Turinga zaczynając systematyczne badania funkcji obliczalnych i wykazując nierozstrzygalność problemu stopu. 1963/64: Paul Cohen wprowadza metodę forsinguCohen, Paul: The Independence of the Continuum Hypothesis. "Proc. Nat. Acad. Sci. U.S.A." 50 (1963), s. 1143-1148.Cohen, Paul J.: The Independence of the Continuum Hypothesis. II. "Proc. Nat. Acad. Sci. U.S.A." 51 (1964), s. 105-110.Cohen, Paul J.: Set Theory and the Continuum Hypothesis. W.A. Benjamin, Inc., New York-Amsterdam, 1966..