knowledge is finite

  • 101History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …

    Wikipedia

  • 102Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …

    Wikipedia

  • 103Critical thinking — is the process or method of thinking that questions assumptions. It is a way of deciding whether a claim is true, false, or sometimes true and sometimes false, or partly true and partly false. The origins of critical thinking can be traced in… …

    Wikipedia

  • 104Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …

    Wikipedia

  • 105logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …

    Universalium

  • 106philosophy, Western — Introduction       history of Western philosophy from its development among the ancient Greeks to the present.       This article has three basic purposes: (1) to provide an overview of the history of philosophy in the West, (2) to relate… …

    Universalium

  • 107David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …

    Wikipedia

  • 108Euclidean geometry — A Greek mathematician performing a geometric construction with a compass, from The School of Athens by Raphael. Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his… …

    Wikipedia

  • 109Glossary of philosophical isms — This is a list of topics relating to philosophy that end in ism . compactTOC NOTOC A * Absolutism – the position that in a particular domain of thought, all statements in that domain are either absolutely true or absolutely false: none is true… …

    Wikipedia

  • 110Philosophy of Søren Kierkegaard — Søren Kierkegaard s philosophy has been a major influence in the development of 20th century philosophy, especially in the movements of Existentialism and Postmodernism. Søren Kierkegaard was a 19th century Danish philosopher who has been called… …

    Wikipedia