搜索结果: 1-8 共查到“科学技术哲学 Hilbert”相关记录8条 . 查询时间(0.172 秒)
Completitud y continuidad en Fundamentos de la geometría de Hilbert:acerca del Vollständigkeitsaxiom (Completeness and Continuity in Hilbert’s Foundations of Geometry:on the Vollstandigkeitsaxiom)
Hilbert geometría euclídea axioma de completitud axiomas de continuidad metodo axiomático filosofía de la geometría Euclidean geometry axiom of completeness continuity axioms axiomatic method philosophy of geometry
2016/6/13
El artículo documenta y analiza las vicisitudes en torno a la incorporación de Hilbert de su famoso axioma de completitud, en el sistema axiomático para la geometría euclídea. Esta tarea es emprendida...
Reconstructing Hilbert to Construct Category Theoretic Structuralism
Category theory mathematical structuralism Hilbert Shapiro
2009/9/16
This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the “algebraic” approach to math...
The Arrow of Time in Rigged Hilbert Space Quantum Mechanics
Arrow of Time Quantum Mechanics Irreversibility
2008/4/21
Arno Bohm and Ilya Prigogine's Brussels-Austin Group have been working on the quantum mechanical arrow of time and irreversibility in rigged Hilbert space quantum mechanics. A crucial notion in Bohm's...
Hilbert's machine is a supertask machine inspired by Hilbert's Hotel whose functioning leads to a contradiction that compromises the Axiom of Infinity.
Frege and Hilbert on the Foundations of Geometry (1994 Talk)
Hilbert Frege Axiomatic Method
2008/4/14
I examine Frege’s explanation of how Hilbert ought to have presented his proofs of the independence of the axioms of geometry: in terms of mappings between (what we would call) fully interpreted state...
How Metaphysical is "Deepening the Foundations"? - Hahn and Frank on Hilbert's Axiomatic Method
David Hilbert Vienna Circle Hans Hahn Philipp Frank
2008/3/31
Only recently, David Hilbert's program to axiomatize the sciences according to the pattern of geometry has left the shade of his formalist program in the foundations of mathematics. This relative negl...
Hilbert's program then and now
Hilbert's program philosophy of mathematics proof theory finitism
2008/3/31
Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbe...
How Metaphysical is "Deepening the Foundations"? - Hahn and Frank on Hilbert's Axiomatic Method
David Hilbert, Vienna Circle, Hans Hahn, Philipp Frank, axiomatic method, Principle of Least Action
2011/9/8
Only recently, David Hilbert's program to axiomatize the sciences according to the pattern of geometry has left the shade of his formalist program in the foundations of mathematics. This relative negl...