Constructive Mathematics and Quantum Physics (1999)

Cached

Download Links

by Douglas Bridges , Karl Svozil
Citations:1 - 0 self

Active Bibliography

Mathematical Methods of Theoretical Physics – Karl Svozil - 2013
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
2 A Constructive Theory of Point-Set Nearness – Luminita Vita, Douglas Bridges - 2001
History of Constructivism in the 20th Century – A.S. Troelstra
12 A Constructive Proof of Gleason’s Theorem – Fred Richman, Douglas Bridges - 1999
7 Addition Theorems – Ehud Hrushovski A, Itamar Pitowsky B - 1965
2 PLURALISM IN MATHEMATICS – E. B. Davies - 2004
I. BASIC IDEAS – Karl Svozil - 2005
3 Quantum logic. A brief outline – K. Svozil - 2005
On the calculating power of Laplace’s demon (Part I) – John Longley - 2006
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels. – James Lipton, Lauchli Countermodels, Michael J. O'donnell - 1996
The continuous and the infinitesimal . . . – John L. Bell - 2005
6 Constructive Mathematics, in Theory and Programming Practice – Douglas Bridges, Steve Reeves - 1997
3 Relationships between constructive, predicative, and classical systems of analysis – Solomon Feferman
2 Cauchy nets in the constructive theory of apartness spaces – Douglas Bridges - 2002
1 Computability of continuous solutions of higher-type equations – Martín Escardó - 2009
Constraint Problems: Computability is . . . – Martine Ceberio, Vladik Kreinovich
QUANTUM LOGIC AND QUANTUM COMPUTATION – Mladen Pavičić, Norman D. Megill - 812
2 Implementation of Intuitionistic Type Theory and Realizability Theory – Yuki Komagata, David A. Schmidt - 1995