19 relations: Bertrand Russell, Curry–Howard correspondence, Dov Gabbay, Federal University of Pernambuco, Grigori Mints, Imperial College London, Intuitionistic type theory, Jaakko Hintikka, Kneale, London, Ludwig Wittgenstein, Paul Lorenzen, Recife, Richard Statman, Sergei N. Artemov, Solomon Feferman, Stanford University, University of London, Workshop on Logic, Language, Information and Computation.
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, writer, social critic, political activist, and Nobel laureate.
New!!: Ruy de Queiroz and Bertrand Russell · See more »
Curry–Howard correspondence
In programming language theory and proof theory, the Curry–Howard correspondence (also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types interpretation) is the direct relationship between computer programs and mathematical proofs.
New!!: Ruy de Queiroz and Curry–Howard correspondence · See more »
Dov Gabbay
Dov M. Gabbay (born October 23, 1945) is a British logician.
New!!: Ruy de Queiroz and Dov Gabbay · See more »
Federal University of Pernambuco
Federal University of Pernambuco (Universidade Federal de Pernambuco, UFPE) is a public university located in Recife, Brazil, established in 1946.
New!!: Ruy de Queiroz and Federal University of Pernambuco · See more »
Grigori Mints
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic.
New!!: Ruy de Queiroz and Grigori Mints · See more »
Imperial College London
Imperial College London (officially Imperial College of Science, Technology and Medicine) is a public research university located in London, United Kingdom.
New!!: Ruy de Queiroz and Imperial College London · See more »
Intuitionistic type theory
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics.
New!!: Ruy de Queiroz and Intuitionistic type theory · See more »
Jaakko Hintikka
Kaarlo Jaakko Juhani Hintikka (12 January 1929 – 12 August 2015) was a Finnish philosopher and logician.
New!!: Ruy de Queiroz and Jaakko Hintikka · See more »
Kneale
Kneale is a surname of Manx origin.
New!!: Ruy de Queiroz and Kneale · See more »
London
London is the capital and most populous city of England and the United Kingdom.
New!!: Ruy de Queiroz and London · See more »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
New!!: Ruy de Queiroz and Ludwig Wittgenstein · See more »
Paul Lorenzen
Paul Lorenzen (March 24, 1915 – October 1, 1994) was a German philosopher and mathematician, founder of the Erlangen School (with Wilhelm Kamlah) and inventor of game semantics (with Kuno Lorenz).
New!!: Ruy de Queiroz and Paul Lorenzen · See more »
Recife
Recife is the fourth-largest urban agglomeration in Brazil with 3,995,949 inhabitants, the largest urban agglomeration of the North/Northeast Regions, and the capital and largest city of the state of Pernambuco in the northeast corner of South America.
New!!: Ruy de Queiroz and Recife · See more »
Richard Statman
Richard Statman (born September 6, 1946) is an American computer scientist whose principal research interest is the theory of computation, especially symbolic computation.
New!!: Ruy de Queiroz and Richard Statman · See more »
Sergei N. Artemov
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) (born December 25, 1951) is a Russian-American researcher in logic and its applications.
New!!: Ruy de Queiroz and Sergei N. Artemov · See more »
Solomon Feferman
Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician with works in mathematical logic.
New!!: Ruy de Queiroz and Solomon Feferman · See more »
Stanford University
Stanford University (officially Leland Stanford Junior University, colloquially the Farm) is a private research university in Stanford, California.
New!!: Ruy de Queiroz and Stanford University · See more »
University of London
The University of London (abbreviated as Lond. or more rarely Londin. in post-nominals) is a collegiate and a federal research university located in London, England.
New!!: Ruy de Queiroz and University of London · See more »
Workshop on Logic, Language, Information and Computation
WoLLIC, the Workshop on Logic, Language, Information and Computation is an academic conference in the field of pure and applied logic and theoretical computer science.
New!!: Ruy de Queiroz and Workshop on Logic, Language, Information and Computation · See more »