What we're about

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 about, and even developing answers to the important unsolved problems of Theoretical Computer Science, then please join us to show that two or more heads ARE better than one (in humans even if not in Turing Machines.) Interested in applying formal methods - Mathematics - to problems at work or at play? Bring them along and we'll all have fun being the first to solve your puzzles for you. Five new members this week - we're now the biggest Computer Science Meet-Up on earth - tied with Wolfram! http://computer-science.meetup.com/all/

Upcoming events (2)

Predictive Modeling using Logistic Regression - understanding the theory

Predictive (Response) Modeling uses Logistic Regression effectively. Our goal is to understand why LR works doing our math. Please, post your questions that you want to learn from the session. We may bring a good speaker or just have it in a round-table discussion mode. The following links can be input to the discussion, http://hunch.net/?p=211 http://en.wikipedia.org/wiki/Logistic_regression http://luna.cas.usf.edu/~mbrannic/files/regression/Logistic.html Note: I will assign a date, as soon as I get 3 volunteers from the group who are ready to talk at least 5 minutes about the topic. Any volunteer?

Past events (20)

Discussion of AI articles

Needs a location

Photos (5)