| Mathematical Logic and Foundations |
| 03: Mathematical logic and foundations |
| http://www.math.niu.edu/~rusin/known-math/index/03-XX.html |
| From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resource s related to logic and set theory. |
| |
| |
| theory, axioms, theory, models, theorem, language, finite, mathematical, predicate, statements, numb er, arithmetic, logics, statement, mathematical, example, decidable, natural, theorem, turing, algeb raic, symbols, tarski, nonstandard, machine, problem, infinite, mathematics, numbers, provable, valu ed, cannot, proofs, questions, theorems, systems, problem, boston, algebraic, related, recursion, an alysis, functions, diophantine, complete, elementary, analysis, results, second, developed, include |
niu.edu - rank der domain 22888 (8520 in US)
|
|
| zum Seitenanfang ↑ |
| Mind Versus Goedel by Damjan Bojadziev |
| Damjan Bojadziev: Mind Versus Gödel |
| http://nl.ijs.si/~damjan/g-m-c.html |
| Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view t hem. |
| |
| |
| sentence, system, theorems, formal, theorem, reference, consistent, provability, machine, itself, pr ovable, theory, reflexive, models, consistency, cannot, incompleteness, between, computers, systems, recognition, certain, unprovable, sentences, argument, hofstadter, procedure, operator, unprovabili ty, ability, example, statement, representation, language, namely, cognitive, second, notion, themse lves, formula, comparison, something, axioms, reflection, penrose, formalization, limitation, additi on, enough, supposed, produce |
ijs.si - rank der domain 234965 (163 in SI)
|
|
| zum Seitenanfang ↑ |
| Classical Logic |
| Classical Logic (Stanford Encyclopedia of Philosophy) |
| http://plato.stanford.edu/entries/logic-classical/ |
| Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Sh apiro. |
| |
| |
| thinsp, formula, language, variable, formulas, theorem, member, assignment, variables, interpretatio n, natural, forall, number, logical, suppose, either, domain, induction, satisfies, atomic, predicat e, formal, clause, satisfiable, argument, called, consistent, infinite, constants, clauses, finite, deductive, letters, hellip, hypothesis, quantifier, mathematical, sentences, sentence, parenthesis, system, follows, produced, inconsistent, languages, symbol, function, different, example, applied, b etween |
stanford.edu - rank der domain 1213 (508 in US)
|
|
| zum Seitenanfang ↑ |
| Science/Math/Logic_and_Foundations |
|
|
| Science/Math/Logic_and_Foundations |
| zum Seitenanfang ↑ |
| Introduction to Mathematical Logic |
| Mathematical Logic. Introduction. By V.Detlovs and K.Podnieks |
| http://www.ltn.lv/~podnieks/mlog/ml.htm |
| Hyper-textbook for students by V. Detlovs and K. Podnieks. |
| Extended translation of: V.Detlovs, Elements of Mathematical Logic,
Riga, University of Latvia, 196 4, 252 pp. (in Latvian) |
| mathematical logic, tutorial, what is logic, logic, mathematical, online, hyper-text, web, book, tex tbook, teaching, learning, study,
student, Podnieks, Karlis, Detlovs, Vilnis, introduction, student s, hypertext, text, hyper, free, download |
| detlovs, podnieks, mathematical, students, latvian, vilnis, textbook, introduction, mathematical, ka rlis, science, latvia, university, corresponding, elements, chapters, translation, represent, sectio ns, extended, forever, computer, course, licensed, copyrighted, license, commons, creative, successf ully, permission, already, however, preparation, personal, download, hypertext, mathematics, lecture s, public, introduction, student, tutorial, online, learning, teaching, science, modeling, printed, favorite, memorial, mendelson |
| (SLD : ltn.lv) |
|
| zum Seitenanfang ↑ |
| Computability Logic Homepage |
| COMPUTABILITY LOGIC Homepage |
| http://www.cis.upenn.edu/~giorgi/cl.html |
| Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. |
| |
| |
| homepage, computability |
upenn.edu - rank der domain 2857 (1104 in US)
|
|
| zum Seitenanfang ↑ |
|
