Search

Your search keyword '"Francisco Antonio Doria"' showing total 2 results
Start Over Author "Francisco Antonio Doria" Journal studia logica
2 results on '"Francisco Antonio Doria"'

1. Undecidability, incompleteness and Arnol'd problems

Author

Francisco Antonio Doria and Newton C. A. da Costa

Subjects
Combinatorics, Mathematical logic, History and Philosophy of Science, Dynamical systems theory, Logic, Stability (learning theory), Decision problem, Fixed point, Dynamical system (definition), Mathematics::Symplectic Geometry, Mathematical economics, Mathematics
Abstract

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

Published
1995
Full Text
View/download PDF

2. On Jaśkowski's discussive logics

Author

Newton C. A. da Costa and Francisco Antonio Doria

Subjects
History and Philosophy of Science, Logic, Computational linguistics, Epistemology, Mathematics
Abstract

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

Published
1995
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results