The logical analysis of physical phenomena
by
Gilles Dowek
BibTeX
@MISC{Dowek_thelogical,
author = {Gilles Dowek},
title = {The logical analysis of physical phenomena},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 118 | The Fabric of Reality - Deutsch - 2000 |
| 52 | Non-Turing computations via Malament-Hogarth space-times - Etesi, Nemeti |
| 51 | Quantum Algorithm for Hilbert’s Tenth Problem - Kieu - 2003 |
| 14 | Experimental computation of real numbers by Newtonian machines - Beggs, Tucker |
| 10 | Computations via Experiments with Kinematic Systems - Beggs, Tucker |
| 9 | Can Newtonian systems bounded in space, time, mass and energy compute all functions? Theoretical Computer Science 371 - Beggs, Tucker - 2007 |
| 2 | Les Métamorphoses du calcul - Dowek - 2007 |
| 1 | Perché il Mondo è Matematico - Barrow - 1992 |
| 1 | Deciding Arithmetic Using SAD - Hogarth |
