Lost your password?

Blogs about: Formal Systems

Featured Blog

Math Fundamentals

njck wrote 1 month ago: I didn’t learn right. At least the first time around, I didn’t. My strategy in most clas … more →

Tags: Math

Annals Of Atheism V: The Scientist Debunks Himself

djeter wrote 7 months ago: The final theme Dr. Barr takes up of the materialist’s story is the mechanistic view of man himself. … more →

Tags: Science and Religion, G. K. Chesterton, quantum theory, Atheism and Science, Copenhagen interpretation, eugene wigner, Sir Rudolf Peierls, Kurt Gödel, Godel’s Theorem

Games and the Problem of Relevance3 comments

stephenfoster wrote 1 year ago: Hubert Dreyfus wrote his book What Computers Can’t Do long before Luciano Floridi came onto th … more →

Tags: Quotes, Analysis, Chess, floridi, formalization, deep blue, Artificial Intelligence, language, hubert dreyfus

The Intelligent Task of Stupefication

stephenfoster wrote 1 year ago: “Stupefication” is a word we will henceforth apply to tasks, but let us note that the pr … more →

Tags: Analysis, Chess, formalization, Databases, knowledge, stupefiction, deep blue, Epistemology, brute force

Floridi Introducing “Stupefication”

stephenfoster wrote 1 year ago: The context in which Floridi introduces the concept of “stupefication” is with regard to drawing a d … more →

Tags: Analysis, floridi, formalization, formalize, GOFAI, lai, mimetic

Mathematical Landscapes1 comment

Deen wrote 3 years ago: How will this project turn out? So I been talking about the game being based on logic and involving … more →

Tags: logic

Why my favourite Language is .NET

Deen wrote 3 years ago: I quite like Microsoft's .NET initiative. And not simply because it further abstracts one from t … more →

Tags: Programming, logic


Related Tags
All →

Follow this tag via RSS