Logic

Janna Levin On Kurt Gödel: Incompleteness Theorem Is Not Just A Numbers Game

  Best known for his Incompleteness Theorem, Kurt Gödel (1906–1978) is considered one of the most important mathematicians and logicians of the…

2 weeks ago

10 Things You Might Not Know About Kurt Gödel

1.Kurt Gödel was born in 1906 in Brunn, Austria-Hungary (now part of the Czech Republic); his parents had him learning…

9 months ago

Incompleteness: Rebecca Goldstein on the Life and Work of Kurt Gödel

Best known for his Incompleteness Theorem, Kurt Gödel (1906–1978) is considered one of the most important mathematicians and logicians of the…

9 months ago

Gödel’s God: It All Adds Up

Kurt Gödel (1906–1978) was in the news lately, but not because January 14th marked the 42nd anniversary of his death. Rather,…

1 year ago

The Man Who Knew Too Much: Jack Copeland on the Life and
 Work of Codebreaker and Computer Science Pioneer Alan Turing

Alan Turing (1912–1954) was an English mathematician, logician, pioneer of computer science, and wartime code-breaker. He is credited with creating a design for the Automatic…

2 years ago

RIP Richard Tieszen, Philosopher, Logician and Kurt Gödel Expert

We learned with great sadness of the passing on March 28 of Richard Tieszen (1951-2017), the author of Simply Gödel,…

5 years ago

On Logic, Language and Numbers: Sanford Shieh Discusses Gottlob Frege’s Enduring Mathematical Legacy

Friedrich Ludwig Gottlob Frege (1848-1925) was a German philosopher, logician, and mathematician responsible for the development

5 years ago

For Alan Turing, the Code of Ethics is Decrypted At Last

He was a brilliant logician and pioneer in the field of computer science who cracked the secret messages sent by…

8 years ago

It’s All Logic: Martin Davis “Decodes” Alan Turing’s Pioneering Work

Alan Turing (1912–1954) was an English mathematician, logician, pioneer of computer science, and wartime code-breaker. He is credited with creating a design for the Automatic Computing…

9 years ago

Of Men and Machines: David Leavitt on How Alan Turing Had Computers Down to Science

English mathematician Alan Turing (1912–1954), was a pioneer of computer science and, although he never thought of himself as a philosopher, his…

9 years ago