Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Francisco_Antônio_Dória> ?p ?o }
Showing triples 1 to 83 of
83
with 100 triples per page.
- Francisco_Antônio_Dória abstract "Francisco Antônio de Moraes Accioli Dória (born 1945, Rio de Janeiro, Brazil) is a Brazilian mathematician, philosopher, and genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University of Rio de Janeiro (UFRJ), Brazil, in 1968 and then got his doctorate from the Brazilian Center for Research in Physics (CBPF), advised by Leopoldo Nachbin in 1977. Dória worked for a while at the Physics Institute of UFRJ, and then left to become a Professor of the Foundations of Communications at the School of Communications, also at UFRJ. Dória held visiting positions at the University of Rochester (NY), Stanford University (CA) (here as a Senior Fulbright Scholar), and the University of São Paulo (USP). His most prolific period spawned from his collaboration with Newton da Costa, a Brazilian logician and one of the founders of paraconsistent logic, which began in 1985. He is currently Professor of Communications, Emeritus, at UFRJ and a member of the Brazilian Academy of Philosophy.His main achievement (with Brazilian logician and philosopher Newton da Costa) is the proof that chaos theory is undecidable (published in 1991), and when properly axiomatized within classical set theory, is incomplete in the sense of Gödel. The decision problem for chaotic dynamical systems had been formulated by mathematician Morris Hirsch.More recently da Costa and Dória introduced a formalization for the P = NP hypothesis which they called the “exotic formalization,” and showed in a series of papers that axiomatic set theory together with exotic P = NP is consistent if set theory is consistent. They then prove:If exotic P = NP together with axiomatic set theory is omega-consistent, then axiomatic set theory + P = NP is consistent.(So far nobody has advanced a proof of the omega-consistency of set theory + exotic P = NP.) They also showed that the equivalence between exotic P = NP and the usual formalization for P = NP, is independent of set theory and holds of the standard integers. If set theory plus that equivalence condition has the same provably total recursive functions as plain set theory, follows the consistency of P = NP with set theory.Dória is also interested in the theories of hypercomputation and in the foundations of economic theory.".
- Francisco_Antônio_Dória birthDate "1945".
- Francisco_Antônio_Dória birthYear "1945".
- Francisco_Antônio_Dória wikiPageID "6979054".
- Francisco_Antônio_Dória wikiPageLength "5140".
- Francisco_Antônio_Dória wikiPageOutDegree "33".
- Francisco_Antônio_Dória wikiPageRevisionID "660099788".
- Francisco_Antônio_Dória wikiPageWikiLink American_Mathematical_Society.
- Francisco_Antônio_Dória wikiPageWikiLink Brazil.
- Francisco_Antônio_Dória wikiPageWikiLink Brazilian_Academy_of_Philosophy.
- Francisco_Antônio_Dória wikiPageWikiLink Brazilian_Center_for_Research_in_Physics.
- Francisco_Antônio_Dória wikiPageWikiLink Category:1945_births.
- Francisco_Antônio_Dória wikiPageWikiLink Category:Brazilian_chemical_engineers.
- Francisco_Antônio_Dória wikiPageWikiLink Category:Brazilian_genealogists.
- Francisco_Antônio_Dória wikiPageWikiLink Category:Brazilian_mathematicians.
- Francisco_Antônio_Dória wikiPageWikiLink Category:Brazilian_philosophers.
- Francisco_Antônio_Dória wikiPageWikiLink Category:Living_people.
- Francisco_Antônio_Dória wikiPageWikiLink Chaos_theory.
- Francisco_Antônio_Dória wikiPageWikiLink Chaotic_dynamical_system.
- Francisco_Antônio_Dória wikiPageWikiLink Chemical_Engineering.
- Francisco_Antônio_Dória wikiPageWikiLink Chemical_engineering.
- Francisco_Antônio_Dória wikiPageWikiLink Consistency.
- Francisco_Antônio_Dória wikiPageWikiLink Consistent.
- Francisco_Antônio_Dória wikiPageWikiLink Federal_University_of_Rio_de_Janeiro.
- Francisco_Antônio_Dória wikiPageWikiLink Genealogist.
- Francisco_Antônio_Dória wikiPageWikiLink Genealogy.
- Francisco_Antônio_Dória wikiPageWikiLink Gödel.
- Francisco_Antônio_Dória wikiPageWikiLink Hilbert_Problems.
- Francisco_Antônio_Dória wikiPageWikiLink Hilberts_problems.
- Francisco_Antônio_Dória wikiPageWikiLink Hypercomputation.
- Francisco_Antônio_Dória wikiPageWikiLink Kurt_Gödel.
- Francisco_Antônio_Dória wikiPageWikiLink Mathematician.
- Francisco_Antônio_Dória wikiPageWikiLink Morris_Hirsch.
- Francisco_Antônio_Dória wikiPageWikiLink Newton_da_Costa.
- Francisco_Antônio_Dória wikiPageWikiLink P_=_NP.
- Francisco_Antônio_Dória wikiPageWikiLink P_=_NP_problem.
- Francisco_Antônio_Dória wikiPageWikiLink P_versus_NP_problem.
- Francisco_Antônio_Dória wikiPageWikiLink Paraconsistent_logic.
- Francisco_Antônio_Dória wikiPageWikiLink Philosopher.
- Francisco_Antônio_Dória wikiPageWikiLink Stanford_University.
- Francisco_Antônio_Dória wikiPageWikiLink University_of_Rochester.
- Francisco_Antônio_Dória wikiPageWikiLink University_of_São_Paulo.
- Francisco_Antônio_Dória wikiPageWikiLink V._I._Arnold.
- Francisco_Antônio_Dória wikiPageWikiLink Vladimir_Arnold.
- Francisco_Antônio_Dória wikiPageWikiLinkText "Dória, Francisco Antônio".
- Francisco_Antônio_Dória wikiPageWikiLinkText "Francisco Antonio Doria".
- Francisco_Antônio_Dória wikiPageWikiLinkText "Francisco Antônio Dória".
- Francisco_Antônio_Dória dateOfBirth "1945".
- Francisco_Antônio_Dória hasPhotoCollection Francisco_Antônio_Dória.
- Francisco_Antônio_Dória name "Doria, Francisco Antonio".
- Francisco_Antônio_Dória shortDescription "Brazilian scientist and philosopher".
- Francisco_Antônio_Dória wikiPageUsesTemplate Template:Authority_control.
- Francisco_Antônio_Dória wikiPageUsesTemplate Template:Persondata.
- Francisco_Antônio_Dória description "Brazilian scientist and philosopher".
- Francisco_Antônio_Dória description "Brazilian scientist and philosopher".
- Francisco_Antônio_Dória subject Category:1945_births.
- Francisco_Antônio_Dória subject Category:Brazilian_chemical_engineers.
- Francisco_Antônio_Dória subject Category:Brazilian_genealogists.
- Francisco_Antônio_Dória subject Category:Brazilian_mathematicians.
- Francisco_Antônio_Dória subject Category:Brazilian_philosophers.
- Francisco_Antônio_Dória subject Category:Living_people.
- Francisco_Antônio_Dória type Agent.
- Francisco_Antônio_Dória type Person.
- Francisco_Antônio_Dória type Person.
- Francisco_Antônio_Dória type Agent.
- Francisco_Antônio_Dória type NaturalPerson.
- Francisco_Antônio_Dória type Thing.
- Francisco_Antônio_Dória type Q215627.
- Francisco_Antônio_Dória type Q5.
- Francisco_Antônio_Dória type Person.
- Francisco_Antônio_Dória comment "Francisco Antônio de Moraes Accioli Dória (born 1945, Rio de Janeiro, Brazil) is a Brazilian mathematician, philosopher, and genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University of Rio de Janeiro (UFRJ), Brazil, in 1968 and then got his doctorate from the Brazilian Center for Research in Physics (CBPF), advised by Leopoldo Nachbin in 1977.".
- Francisco_Antônio_Dória label "Francisco Antônio Dória".
- Francisco_Antônio_Dória sameAs Francisco_Antonio_Doria.
- Francisco_Antônio_Dória sameAs Francisco_Antônio_Dória.
- Francisco_Antônio_Dória sameAs m.0gzp40.
- Francisco_Antônio_Dória sameAs Q4845813.
- Francisco_Antônio_Dória sameAs Q4845813.
- Francisco_Antônio_Dória wasDerivedFrom Francisco_Antônio_Dória?oldid=660099788.
- Francisco_Antônio_Dória givenName "Francisco Antonio".
- Francisco_Antônio_Dória isPrimaryTopicOf Francisco_Antônio_Dória.
- Francisco_Antônio_Dória name "Doria, Francisco Antonio".
- Francisco_Antônio_Dória name "Francisco Antonio Doria".
- Francisco_Antônio_Dória surname "Doria".