The Foundational Debate [electronic resource] : Complexity and Constructivity in Mathematics and Physics / edited by Werner DePauli-Schimanovich, Eckehart Köhler, F. Stadler.
Erişim Adresi
ISBN
9789401733274
Dil Kodu
İngilizce
Yer Numarası
DK/7766
Basım Bildirimi
1st ed. 1995.
Yayın Bilgisi
Dordrecht : Springer Netherlands : Imprint: Springer, 1995.
Fiziksel Niteleme
XIV, 354 p. online resource.
Dizi
Vienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions, 2215-1818 ; 3
İçindekiler Notu
New Interpretations of Quantum Mechanics and the Theory of Knowledge -- Experiment, Entanglement and the Foundations of Quantum Mechanics -- Constructivism and Operationalism in the Foundations of Quantum Mechanics -- Computability in Quantum Mechanics -- Levels of Physical Theories -- A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability -- How Far Can We Formalize Language Games? -- What is a Random String? -- Strong Determinism vs. Computability -- Capturing Relativized Complexity Classes with Lindström Quantifiers -- Why Constructive Mathematics? -- Hypothetical Extensions of Constructive Mathematics -- Constructions as the Subject Matter of Mathematics -- Verificationism Then and Now -- Logic and Mathematics -- A Connection between Leibniz’ Infinitely Small Quantities and the Analytical Hierarchy -- Extensional Equality in the Classical Theory of Types -- Hans Hahn and the Foundational Debate -- Crisis and Return of Intuition in Hans Hahn’s Philosophy of Mathematics -- How Can or Should the Recent Developments in Mathematics Influence the Philosophy of Mathematics? -- On the Vienna Circle in Exile: An Eyewitness Report -- Philipp Frank and the German Physical Society -- Reviews -- Vienna-Berlin-Prague: Centenaries Carnap, Reichenbach, Zilsel -- Activities of the Institute Vienna Circle -- Survey 1995 -- Preview 1996 -- Index of Names.
Özet, vb.
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics.
Konu
Logic.
Mathematical logic.
Quantum physics.
Artificial intelligence.
History.
Logic.
Mathematical Logic and Foundations.
Quantum Physics.
Artificial Intelligence.
History.
Mathematical logic.
Quantum physics.
Artificial intelligence.
History.
Logic.
Mathematical Logic and Foundations.
Quantum Physics.
Artificial Intelligence.
History.
Diğer Yazarlar
Kurum Adı
Eseri Alıntıla
Referansları kullanmadan önce gözden geçirmeniz ve varsa gerekli düzeltmeleri yapmanız önerilir.
Dijital Kaynak
MARC Görünümü
LEADER 05579nam a22006495i 4500
001 806466
003 TR_AnAIT
005 20260127002148
007 cr nn 008mamaa
008 130125s1995 ne | s |||| 0|eng d
020 |a9789401733274|9978-94-017-3327-4
024 7 |a10.1007/978-94-017-3327-4|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/7766
245 14|aThe Foundational Debate|h[electronic resource] :|bComplexity and Constructivity in Mathematics and Physics /|cedited by Werner DePauli-Schimanovich, Eckehart Köhler, F. Stadler.
250 |a1st ed. 1995.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1995.
300 |aXIV, 354 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aVienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions,|x2215-1818 ;|v3
505 0 |aNew Interpretations of Quantum Mechanics and the Theory of Knowledge -- Experiment, Entanglement and the Foundations of Quantum Mechanics -- Constructivism and Operationalism in the Foundations of Quantum Mechanics -- Computability in Quantum Mechanics -- Levels of Physical Theories -- A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability -- How Far Can We Formalize Language Games? -- What is a Random String? -- Strong Determinism vs. Computability -- Capturing Relativized Complexity Classes with Lindström Quantifiers -- Why Constructive Mathematics? -- Hypothetical Extensions of Constructive Mathematics -- Constructions as the Subject Matter of Mathematics -- Verificationism Then and Now -- Logic and Mathematics -- A Connection between Leibniz’ Infinitely Small Quantities and the Analytical Hierarchy -- Extensional Equality in the Classical Theory of Types -- Hans Hahn and the Foundational Debate -- Crisis and Return of Intuition in Hans Hahn’s Philosophy of Mathematics -- How Can or Should the Recent Developments in Mathematics Influence the Philosophy of Mathematics? -- On the Vienna Circle in Exile: An Eyewitness Report -- Philipp Frank and the German Physical Society -- Reviews -- Vienna-Berlin-Prague: Centenaries Carnap, Reichenbach, Zilsel -- Activities of the Institute Vienna Circle -- Survey 1995 -- Preview 1996 -- Index of Names.
520 |aConstructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aQuantum physics.
650 0|aArtificial intelligence.
650 0|aHistory.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aQuantum Physics.
650 24|aArtificial Intelligence.
650 24|aHistory.
700 1 |aDePauli-Schimanovich, Werner.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aKöhler, Eckehart.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aStadler, F.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9780792337379
776 08|iPrinted edition:|z9789048146178
776 08|iPrinted edition:|z9789401733281
830 0|aVienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions,|x2215-1818 ;|v3
856 40|uhttps://doi.org/10.1007/978-94-017-3327-4
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
001 806466
003 TR_AnAIT
005 20260127002148
007 cr nn 008mamaa
008 130125s1995 ne | s |||| 0|eng d
020 |a9789401733274|9978-94-017-3327-4
024 7 |a10.1007/978-94-017-3327-4|2doi
041 |aeng
049 |aTürk Tarih Kurumu Kütüphanesi
050 4|aBC1-199
072 7|aHPL|2bicssc
072 7|aPHI011000|2bisacsh
072 7|aQDTL|2thema
082 04|a160|223
090 |aDK/7766
245 14|aThe Foundational Debate|h[electronic resource] :|bComplexity and Constructivity in Mathematics and Physics /|cedited by Werner DePauli-Schimanovich, Eckehart Köhler, F. Stadler.
250 |a1st ed. 1995.
264 1|aDordrecht :|bSpringer Netherlands :|bImprint: Springer,|c1995.
300 |aXIV, 354 p.|bonline resource.
336 |atext|btxt|2rdacontent
337 |acomputer|bc|2rdamedia
338 |aonline resource|bcr|2rdacarrier
347 |atext file|bPDF|2rda
490 1 |aVienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions,|x2215-1818 ;|v3
505 0 |aNew Interpretations of Quantum Mechanics and the Theory of Knowledge -- Experiment, Entanglement and the Foundations of Quantum Mechanics -- Constructivism and Operationalism in the Foundations of Quantum Mechanics -- Computability in Quantum Mechanics -- Levels of Physical Theories -- A Constructivist Manifesto for the Physical Sciences — Constructive Re-Interpretation of Physical Undecidability -- How Far Can We Formalize Language Games? -- What is a Random String? -- Strong Determinism vs. Computability -- Capturing Relativized Complexity Classes with Lindström Quantifiers -- Why Constructive Mathematics? -- Hypothetical Extensions of Constructive Mathematics -- Constructions as the Subject Matter of Mathematics -- Verificationism Then and Now -- Logic and Mathematics -- A Connection between Leibniz’ Infinitely Small Quantities and the Analytical Hierarchy -- Extensional Equality in the Classical Theory of Types -- Hans Hahn and the Foundational Debate -- Crisis and Return of Intuition in Hans Hahn’s Philosophy of Mathematics -- How Can or Should the Recent Developments in Mathematics Influence the Philosophy of Mathematics? -- On the Vienna Circle in Exile: An Eyewitness Report -- Philipp Frank and the German Physical Society -- Reviews -- Vienna-Berlin-Prague: Centenaries Carnap, Reichenbach, Zilsel -- Activities of the Institute Vienna Circle -- Survey 1995 -- Preview 1996 -- Index of Names.
520 |aConstructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in computer science, mathematics and physics was already fully developed in 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics.
532 8 |aAccessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.
532 8 |aInaccessible, or known limited accessibility
532 8 |aNo reading system accessibility options actively disabled
532 8 |aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0|aLogic.
650 0|aMathematical logic.
650 0|aQuantum physics.
650 0|aArtificial intelligence.
650 0|aHistory.
650 14|aLogic.
650 24|aMathematical Logic and Foundations.
650 24|aQuantum Physics.
650 24|aArtificial Intelligence.
650 24|aHistory.
700 1 |aDePauli-Schimanovich, Werner.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aKöhler, Eckehart.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
700 1 |aStadler, F.|eeditor.|4edt|4http://id.loc.gov/vocabulary/relators/edt
710 2 |aSpringerLink (Online service)
773 0 |tSpringer Nature eBook
776 08|iPrinted edition:|z9780792337379
776 08|iPrinted edition:|z9789048146178
776 08|iPrinted edition:|z9789401733281
830 0|aVienna Circle Institute Yearbook, Institute Vienna Circle, University of Vienna Vienna Circle Society, Society for the Advancement of Scientific World Conceptions,|x2215-1818 ;|v3
856 40|uhttps://doi.org/10.1007/978-94-017-3327-4
912 |aZDB-2-SHU
912 |aZDB-2-SXPR
912 |aZDB-2-BAE
950 |aHumanities, Social Sciences and Law (SpringerNature-11648)
950 |aPhilosophy and Religion (R0) (SpringerNature-43725)
Materyaller
Depodan talep edilen materyal sadece kütüphane içerisinde kullanılmaktadır.
Materyal dışarıya ödünç verilmemektedir.
Materyal dışarıya ödünç verilmemektedir.
