This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philo...
This page was last updated on October 9th, 2008
This page was last updated on October 9th, 2008
Logic and Foundations (from Math)
Canadian Content » Science » Math » Logic_and_Foundations »
Logic
Wikipedia article.
Computability Logic Homepage
Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Introduction to Mathematical Logic
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
Mathematical Logic around the World
A rich collection of links to logic-related websites.
Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Classical Logic
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Wikipedia article.
Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Hyper-textbook for students by V. Detlovs and K. Podnieks.
Front end for the logic section of the mathematics e-print arXiv.
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
A rich collection of links to logic-related websites.
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Math >> Logic and Foundations yielded other results on Canadian Content:
Senators approve anti-spanking bill
Senators approve anti-spanking bill In The News
Senators approve anti-spanking bill In The News
Canada should pull its troops out of Afghanistan
Page 9-Canada should pull its troops out of Afghanistan International Politics
Page 9-Canada should pull its troops out of Afghanistan International Politics
Creation or Evolution?
Page 4-Creation or Evolution? Articles and Debates
Page 4-Creation or Evolution? Articles and Debates
Who`s right to choose, a womans right to choose.
Page 3-Who's right to choose, a womans right to choose. Canadian Politics
Page 3-Who's right to choose, a womans right to choose. Canadian Politics
Chavez called the United States a "terrorist state"
September 18th, 2005, 10:53 PM Quote: Is Afghanistan better off now than it was 5 years ago?? Given
September 18th, 2005, 10:53 PM Quote: Is Afghanistan better off now than it was 5 years ago?? Given
|
 |
-
