Top : Science : Math :
Logic and Foundations
Categories
Websites
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
site exerpt
03: Mathematical logic and foundations Mathematical logic and foundations Introduction Mathematical Logic is the study of the processes used in mathematical deduction. The subject has origins in philosophy, and indeed it is only by nonmathematical argument that one can show the usual rules for inference...Front end for the logic section of the mathematics e-print arXiv.
site exerpt
LO Logic A notion of selective ultrafilter corresponding to topological Ramsey spaces. Jose Mijares. 24 pages. LO. 25 Oct math.LO/0510477 Parametrizing the abstract Ellentuck theorem. Jose Mijares. 16 pages. LO. 20 Oct math.LO/0510412 Infintesimals in a Recursively Enumerable Prime Model. Tristram de...Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
site exerpt
Damjan Bojadziev: Mind Versus Gödel The theorems do not imply that there can be no formal, computational model of the mind, but on the contrary, suggest the existence of such models within a conception of mind as subject to similar limitations as formal systems. If...Hyper-textbook for students by V. Detlovs and K. Podnieks.
site exerpt
Mathematical Logic. Introduction. By V.Detlovs and K.Podnieks Any comments are welcome e-mail to Karlis.Podnieks@mii.lu.lv This web-site presents 100% of a hyper-textbook for students. Read online, follow links all over the world. Feel free to download any parts. My favorite (printed) textbook on mathematical logic, since many years:...Wikipedia article.
site exerpt
Logic Wikipedia, the free encyclopedia This article is about the concept and branch of philosophy. For Apple's professional music synthesis application, see Logic Pro. Logic (from Classical Greek logos originally meaning the word, or what is spoken but coming to mean thought or reason) is...Open Encyclopedia entry. Hierarchically organized by subareas.
site exerpt
Science: Mathematics: Logic Open Site Project home submit content become an editor the entire directory only in Mathematics/Logic Top: Science: Mathematics: Logic (15) Axioms (0) Computability Logic (1) Computing (0) Deductive (0) Fuzzy Logic (1) Game Semantics (2) Intuitionistic Logic (0) Linear Logic (0) Logicians...