• Email
  • Like
  • Save
  • Private Content
  • Embed
 

Самото число

by

  • 2,019 views

САМОТО ЧИСЛО....

САМОТО ЧИСЛО.
КВАНТОВИЯТ КОМПЮТЪР, ИЛИ ЗАЩО ДВЕТЕ ТЕОРЕМИ НА КУРТ ГЬОДЕЛ ЗА НЕПЪЛНОТАТА СА ОТ ФУНДАМЕНТАЛЕН ФИЗИЧЕСКИ И ФИЛОСОФСКИ ИНТЕРЕС
„Is incompleteness a serious problem?“ – Is not physics mathematics? – Does the first incompleteness theorem fulfill its own conditions? – The axiom of reducibility – The axiom of extensionality – Skolemian relativity – Time – Noncomputability in Turing and incompleteness in Gödel – „Gödelization“ in Penrose – Mind and physics – Quantum computer in Deutsch – Deutsch’s thought experiment of “many-worlds vs. Copenhagen interpretation of quantum mechanics – The thermodynamic value of choice – „Wigner’s friend“ – Message and mess – Albert’s quantum-mechanical automation – Identity – A difference of principle between an internal and an external observer – „Image recognition“ formalized as a recursive function – Two time scales and the relative formulation of quantum mechanics – History as mathematics – Human intellect modeled by quantum computer – Quantum computer as a set of two Turing machines – Accelerated Turing machine in Copeland – Quantum computer as “Schrödinger’s cat” or “Wigner’s friend” – The equivalence of description by the whole and by the parts – An observer in Albert and in Einstein – Subjectivity and intersubjectivity formalized – Marta, „Albert’s friend” – Quantum mechanics as the “new” physics for mind in Penrose – Freewill theorems – Computation in Copeland and the o-machine in Turing – Internal and external computability – Achilles, the Tortoise, the Arrow, and the Liar: in a single „super story“! – The ability of quantum computer for universal image recognition – Quantum computer vs. Turing machines: supporters – Randomness and repetition – The formalization of designation (sign) – Random knowledge – „Incredulous Wigner’s friend“ and „Wigner’s incredulous friends” – The axiom of reducibility anf of extensionality interpreted semiotically – The first or the second edition of Principia and the axiom of reducibility −Self-referentiality – Our conceptual background – The set, whose set of all subsets is countable – The axiom of foundation (of regularity) and the axiom of choice – The approach of Gentzen and Tarski’s conception of truth – Again about Ψ-function as a number in a generalized counting system – The theorem of Martin Löb about the proposition stating its proper provability – Ramsey’s redundant concept of truth – Subjective and objective probability – An interpretation in quantum terms – The common base for the Liar and Arrow paradox – An approach to the completeness of Peano Arithmetic – Syntax and semantics – The Gentzen theorem − The principle of transfinite induction – The strategy for the dual foundation of completeness − The idea for dual consistency – Transfinite induction until ε_0 – Тhe three levels of mathematics in Gentzen – The question about mathematics and physics beyond completeness – Finitism, constructivism, and ”actualism” (formalism) – From the viewpoint of “dualistic Phytagoreanism ” – “Successor” function and “wholeness” function – Transfinite and complete induction – Transfinite calculation and transfinite algorithm – Quantum computer by two Turing machines – Superfinite induction – The duality of the finite and the infinite – The Gentzen arithmetic – About the unprovability of transfinite induction until ε_0 – „The possibility of reconciling the different points of view” – Mathematics and the physical reality in Gentzen – An reflection on the reference point to the Gödel theorems – Gödel’s sketch of the first theorem of incompleteness – After involving an antinomic statement in

Accessibility

Categories

Upload Details

Uploaded via SlideShare as Adobe PDF

Usage Rights

© All Rights Reserved

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate. If needed, use the feedback form to let us know more details.

Cancel

Statistics

Likes
0
Downloads
10
Comments
0
Embed Views
0
Views on SlideShare
2,019
Total Views
2,019
Post Comment
Edit your comment

Самото число Самото число Document Transcript