Jump to content

User:Palaeovia

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Palaeovia (talk | contribs) at 12:14, 14 May 2007 (→‎[[Computational complexity theory]] and [[Algorithms]]). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Britannica

Tools

stat

Mathematics

Mathematical Logic

List_of_first-order_theories, Peano axioms#Existence and uniqueness

Axiomatic system, arithmetic set, finitary

Gentzen's consistency proof

First-order logic, Second-order logic, Higher-order logics

First-order arithmetic, Second-order arithmetic, Primitive recursive arithmetic

Primitive recursive function, recursive function, computable function

Proof_sketch_for_Gödel's_first_incompleteness_theorem, Gödel's_first_incompleteness_theorem

List of mathematical logic topics

Foundation of mathematics

Philosophers by century
  1st 2nd 3rd 4th 5th 6th 7th 8th 9th
10th 11th 12th 13th 14th 15th 16th 17th 18th 19th
20th 21st

Religions

User:Palaeovia/sinology

Cultures and Civilizations

Template:AsiaRelatedList

History

History topics

History by period

History by region

Template:History by continent footer

Media

Problem definition

Lock-based solutions

Lock-free solutions

Fault tolerance

Misc

Potential articles

Wikipedia:WikiProject Missing encyclopedic articles

  • Louis J. Halle

Controversy

References

Editing Wikipedia

Getting started
Getting help
Policies and guidelines

The community

Writing articles
Miscellaneous