A proof of a theorem of Gödel in its general form Peking, 1958, dec. 5. 8.30 /

Hasonló tételek

• Another proof of the Gödel—Rosser incompleíability theorem
  Szerző: Kalmár László
  Megjelent: (1950)
• A new proof of the general ergodic theorem
  Szerző: Dowker Yael Naim
  Megjelent: (1950)
• On the so-called undecidable mathematical problems Peking, 1958. dec. 2. 8.30 /
  Szerző: Kalmár László
• On some technical applications of mathematical logic Peking (北京), 1958. dec. 8, dec. 9, 8.30-11.30 /
  Szerző: Kalmár László
• On the decision problem of the predicate calculus of mathematical logic Peking, 1958. dec. 1. 8.30 /
  Szerző: Kalmár László