|
6
|
On logic, relativity, and the limitations of human knowledge
– I Németi
- 1987
|
|
7
|
with contributions from Andai
– H Andreka, J Madarasz, I Nemeti
|
|
9
|
Turing computability and Malament-Hogarth spacetimes
– G Etesi, I Németi
|
|
6
|
Deciding arithmetic using SAD computers
– M L
|
|
7
|
Twin Paradox and the logical foundation of space-time. Foundation of Physics
– Judit X. Madarász, István Németi, Gergely Székely
|
|
7
|
The effects of gravitation on clocks, proved in axiomatic relativity. Abstracts for the conference “Logic
– J X Madarász, G Székely
|
|
7
|
On the traversability of the Cauchy horizon: Herman and Hiscock's argument revisited
– A Ori
- 1997
|
|
9
|
Relativistic computers and non-uniform complexity theory
– J Wiedermann, J van Leeuwen
- 2002
|
|
7
|
First-order logic foundation of relativity theories
– Judit X. Madarász, István Németi, Gergely Székely
- 2006
|
|
13
|
A twist in the geometry of rotating black holes: seeking the cause of acausality
– Hajnal Andréka , István Németi, Christian Wüthrich
|
|
17
|
RELATIVISTIC COMPUTERS AND THE TURING Barrier
– István Németi, Gyula Dávid
- 2006
|
|
8
|
Lecture on rotating universes in Kurt Gödel: Collected Works, Volume III: Unpublished Essays and Lectures, edited by Feferman S. et al
– K Gödel
- 1995
|
|
18
|
The Mathematical Universe
– Max Tegmark
- 2008
|
|
14
|
Bangs, crunches, whimpers, and shrieks: Singularities and acausalities in relativistic spacetimes
– J Earman
- 1995
|
|
6
|
Black Hole Spin in AGN and GBHCs
– Christopher S. Reynolds, Laura W. Brenneman, David Garofalo
|
|
7
|
Discovery of a 450 Hz Quasi-periodic Oscillation from the Microquasar GRO J1655−40 with the Rossi X-Ray Timing Explorer, ApJ 552
– T E Strohmayer
- 2001
|
|
4
|
Logical axiomatizations of spacetime. In: Non-Euclidean Geometries, János Bolyai Memorial Volume
– H Andréka, J X Madarász, I Németi
- 2006
|
|
4
|
Quantum physics and conscious thought, in Quantum Implications: Essays in honour of
– R Penrose
- 1987
|
|
5
|
Definability as hypercomputational effect
– S B Cooper
|
