Pages that link to "Item:Q4477873"

The following pages link to Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Q4477873):

Displaying 50 items.

• Arbitrary sequence RAMs (Q477622) (← links)
• Visions of Henkin (Q514560) (← links)
• Collimation processes in quantum mechanics interpreted in quantum real numbers (Q652795) (← links)
• Computability of entropy and information in classical Hamiltonian systems (Q653552) (← links)
• Application of quantum Darwinism to cosmic inflation: an example of the limits imposed in Aristotelian logic by information-based approach to Gödel's incompleteness (Q707719) (← links)
• Constructive chaos by cellular automata and possible sources of an arrow of time (Q751849) (← links)
• Mass problems associated with effectively closed sets (Q765664) (← links)
• Alethic reference (Q777945) (← links)
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
• Undecidable classical properties of observers (Q861653) (← links)
• The origins of combinatorics on words (Q872058) (← links)
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
• Characteristic length in a linear acceleration (Q880955) (← links)
• Measurement-based quantum computation and undecidable logic (Q930147) (← links)
• The metamathematics of ergodic theory (Q1006602) (← links)
• Gödel incompleteness and the Black hole information paradox (Q1007130) (← links)
• Operating system verification---an overview (Q1040002) (← links)
• How truthlike can a predicate be? A negative result (Q1069920) (← links)
• Uniform self-reference (Q1088657) (← links)
• A classification of mathematical concepts (Q1130507) (← links)
• Intuitionist type theory and foundations (Q1152364) (← links)
• Physics of selective systems: Computation and biology (Q1164422) (← links)
• Some undecidable determined games (Q1171511) (← links)
• Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
• Terminal model of Newtonian dynamics (Q1209245) (← links)
• Four studies in metamathematics (Q1220068) (← links)
• The diagnostic process as a statistical-causal analysis (Q1227575) (← links)
• What's in a function? (Q1293042) (← links)
• Representing the knowledge of Turing machines (Q1330015) (← links)
• Postinstability models in dynamics (Q1345426) (← links)
• Uncertainty, predictability and decidability in chaotic dynamical systems (Q1346395) (← links)
• Computationalism (Q1583773) (← links)
• A manifesto for the computational method (Q1603721) (← links)
• Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age (Q1622657) (← links)
• Definability, decidability, complexity (Q1817073) (← links)
• Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
• Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten (Q1839571) (← links)
• Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
• Irreversibility in thermodynamics (Q1912254) (← links)
• Tarski on logical consequences (Q1924334) (← links)
• The complexity of identifying characteristic formulae (Q1987735) (← links)
• On the justification of deduction and induction (Q1993543) (← links)
• A metasemantic challenge for mathematical determinacy (Q2054113) (← links)
• Turing: the great unknown (Q2151546) (← links)
• Things that can be made into themselves (Q2252527) (← links)
• When is scalar multiplication decidable? (Q2311210) (← links)
• Truth, reflection and hierarchies (Q2386109) (← links)
• The mathematical universe (Q2481233) (← links)
• Symbolic languages and natural structures. A mathematician's account of empiricism (Q2490377) (← links)
• Measurement of a quantum ensemble by a classical apparatus (Q2522088) (← links)