enow.com Web Search

  1. Ad

    related to: princeton university logic phd

Search results

  1. Results from the WOW.Com Content Network
  2. Systems of Logic Based on Ordinals - Wikipedia

    en.wikipedia.org/wiki/Systems_of_Logic_Based_on...

    Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing. [1] [2]Turing's thesis is not about a new type of formal logic, nor was he interested in so-called "ranked logic" systems derived from ordinal or relative numbering, in which comparisons can be made between truth-states on the basis of relative veracity.

  3. John P. Burgess - Wikipedia

    en.wikipedia.org/wiki/John_P._Burgess

    Philosophical Logic, Princeton University Press. ISBN 0691137897; 2011. Truth (with Alexis Burgess), Princeton University Press. ISBN 9780691144016; 2013. Saul Kripke: Puzzles and Mysteries ISBN 978-0-7456-5284-9. 2015. Rigor and Structure, Oxford University Press. ISBN 9780198722229; 2022. Set Theory, Cambridge Elements, Cambridge University ...

  4. Saul Kripke - Wikipedia

    en.wikipedia.org/wiki/Saul_Kripke

    Saul Aaron Kripke (/ ˈ k r ɪ p k i /; November 13, 1940 – September 15, 2022) was an American analytic philosopher and logician.He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University.

  5. Delia Graff Fara - Wikipedia

    en.wikipedia.org/wiki/Delia_Graff_Fara

    Delia Ruby Graff Fara (April 28, 1969 – July 18, 2017 [2]) was an American philosopher who was professor of philosophy at Princeton University. She specialized in philosophy of language, metaphysics, and philosophical logic.

  6. Tom Griffiths (cognitive scientist) - Wikipedia

    en.wikipedia.org/wiki/Tom_Griffiths_(cognitive...

    On his Princeton webpage, Griffiths explains that his research explores the connection between human problem solving and related methods in computation and logic: "People solve challenging computational problems every day, making predictions about future events, learning new causal relationships, or discovering how objects should be divided ...

  7. Kurt Gödel - Wikipedia

    en.wikipedia.org/wiki/Kurt_Gödel

    In 1934, Gödel gave a series of lectures at the Institute for Advanced Study (IAS) in Princeton, New Jersey, titled On undecidable propositions of formal mathematical systems. Stephen Kleene, who had just completed his PhD at Princeton, took notes of these lectures that have been subsequently published.

  8. Nicholas J. J. Smith - Wikipedia

    en.wikipedia.org/wiki/Nicholas_J._J._Smith

    He is a fellow of the Australian Academy of the Humanities [1] and a former President of the Australasian Association for Logic. Smith is known for his research on logics . [ 2 ] [ 3 ] [ 4 ] He is a lecturer for the popular PHIL1012: Introductory Logic course at the University of Sydney, which broke records in 2021 as the largest course by ...

  9. Wayne Davis (philosopher) - Wikipedia

    en.wikipedia.org/wiki/Wayne_Davis_(philosopher)

    Wayne A. Davis (born 1951) is an American philosopher and Professor Emeritus of Philosophy at Georgetown University. He is known for his works on philosophy of mind and philosophy of language. [1] [2] [3] [4]

  1. Ad

    related to: princeton university logic phd