Philosophy :: Artificial Intelligence
Logic based :: Languages
Philosophy of Language :: Philosophy
Mathematics :: Philosophy of Science

Logic and Foundations - Twitter Search

So do not have and never had logic and foundations to make 4x10 bench press and squat and then 4x100, 4x200 on abdominal
thallesptrainer (Thalles Personal) Thu, 26 Nov 2009 10:44:50 -0000
So do not have and never had logic and foundations to make 4x10 bench press and squat and then 4x100, 4x200 on abdominal
Foundations Of Finance: The Logic And Practice - http://tinyurl.com/ygwfuge
infodirector (Info Director) Thu, 26 Nov 2009 06:45:33 -0000
Foundations Of Finance: The Logic And Practice - http://tinyurl.com/ygwfuge

 

Subscribe to Logic_and_Foundations RSS feed

Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

Computability Logic Homepage - Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Meta Description: [ Computability logic is a recently introduced framework and research program for redeveloping logic as a formal theory of computability, as opposed to a formal theory of truth which it has more traditionally been. This page is the basic Internet source of information on the subject. ]

Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks.
Meta Description: [ 100% of a hyper-textbook for students. Extended translation of: V.Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian) ]

Logic - Wikipedia article.

Logic - Open Encyclopedia entry. Hierarchically organized by subareas.
Meta Description: [ Science: Mathematics: Logic - Open Site. ]

Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv.

Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

Mathematical Logic around the World - A rich collection of links to logic-related websites.
Meta Description: [ Research groups, journals, organizations, conferences etc. in mathematical logic (such as set theory). By the Mathematical Logic Group, Bonn and the Vienna University of Technology. ]

Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.