Self-Reference Paradoxes & Incompleteness in Logic & Computer Science

Contact owners and managers
selfref@googlegroups.com

Description

Discuss the Liar Paradox, Godel’s Incompleteness Theorem and Turing’s proof of the unsolvability of the Halting Problem, to (1) Develop new paradoxes and Mathematical results, (2) Develop a list of references to books, articles and URLs on these subjects, and (3) Collaborate with others.

Language

English (United States)

Privacy

Anyone on the web
can see group
Group owners and managers
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can join group