Robert Berger (mathematician)
article-link
What links here
Hao Wang (academic)
Logic in China
article-link
Skolem's paradox
article-link
New Foundations
article-link
Aperiodic tiling
article-link
Timeline of Eastern philosophers
article-link
Shimon Even
article-link
Random-access machine
article-link
Von Neumann–Bernays–Gödel set theory
article-link
Register machine
article-link
Thoralf Skolem
article-link
List of authors by name: W
article-link
List of logicians
article-link
Wang tile
article-link
Gödel's incompleteness theorems
article-link
Burali-Forti paradox
article-link
Stephen Cook
article-link
Willard Van Orman Quine
article-link
Turing machine
article-link
Quasicrystal
article-link
May 13
article-link
May 20
article-link
Kurt Gödel
article-link
Greg Egan
article-link
Gödel's ontological proof
article-link
Church–Turing thesis
article-link