Geometric and higher order logic in terms of abstract Stone duality.
Geometrické upotřebení některých pouček o determinantech. [I.]
Geometrické upotřebení některých pouček o determinantechGeometric application of some theorems on determinants. [II.]
Gilt das Lemma von König "konstruktiv"?
Gödel et la thèse de Turing
Cet article porte sur la discussion par Gödel de la thèse de Turing. Pour l’essentiel, nous présentons des notes inédites conservées dans les Archives Gödel, qui apportent des éléments nouveaux sur la relation ambiguë de Gödel à Turing. La première section examine la position qu’avait Gödel avant 1937 sur la possibilité d’une définition de la calculabilité. La deuxième concerne directement l’interprétation par Gödel de la thèse de Turing. Dans plusieurs passages, antérieurs à 1937, Gödel qualifie...
Gödel's diagonalization technique and related properties of theories
Goldbach conjecture.
Goodstein's function.