Francisco Antonio Doria

2018
with Wuppuluri Shyam (ed)
Dordrecht, Springer
Gödel incompleteness and the empirical sciences
2017
in: Space, time and the limits of human understanding, Dordrecht : Springer

Einstein, Gödel, and the mathematics of time
2011
in: Brazilian studies in philosophy and history of science, Dordrecht : Springer

Informal versus formal mathematics
2007
Synthese 154/3

Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
2000
Synthese 125/1-2
