Purpose? A joint effort to learn, discuss and tackle the fundamental problems and theorems of Theoretical Computer Science, including Program Synthesis, Theory of Computation (Turing 1937), Recursion Theory (Kleene), Incompleteness in Logic (Godel 1931, Rosser 1936), Paradoxes (Liar and Russell's) and any other problem related to the topics discussed on Googe Groups sci.logic If Godel, Turing and paradoxes (and even Rosser and Smullyan) turn you on, if you spend time reading about, thinking …

We are a group of multi-level people interested in the study of Philosophy. We sit around debating or discussing at length topics from metaphysics, epistemology, ethics, and logic. We meet every week, meetings on Skype and at a restaurant (addressing the same topic) are alternating every other week. New texts are always discussed first on Skype, attending both or either of the two types of meetings is encouraged. Probably the best way to learn about us is to check out our past events in the "Pas …