Bertrand Russell (Stanford Encyclopedia of Philosophy)

Bertrand Arthur William Russell (1872–1970) was a British philosopher, logician, essayist and social critic best known for his work in mathematical logic and analytic philosophy. His most influential contributions include his championing of logicism (the view that mathematics is in some important sense reducible to logic), his refining of Gottlob Frege’s predicate calculus (which still forms the basis of most contemporary systems of logic), his defense of neutral monism (the view that the world consists of just one type of substance which is neither exclusively mental nor exclusively physical), and his theories of definite descriptions, logical atomism and logical types.

plato.stanford.edu

Kurt Gödel

Kurt Gödel was a logician, mathematician, and philosopher born April 28, 1906, in Brünn, Austria-Hungary (now Brno, Czech Republic).

en.wikipedia.org

Ludwig Wittgenstein

Ludwig Wittgenstein was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. Ludwig Wittgenstein’s association with Swansea University came about through his relationship with Rush Rhees.

wittgenstein-initiative.com

Giuseppe Peano

Giuseppe Peano was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor.

en.wikipedia.org

Harry was supervised by Prof Markus Roggenbach and Dr Oliver Kullman. A big thank you goes to Prof Helen Treherne (Surrey University) and Dr Phil James as examiners, and Alma as chair of the committee.

]]>John von Neumann

John von Neumann was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest coverage of any mathematician of his time and was said to have been "the last representative of the great mathematicians who were equally at home in both pure and applied mathematics". He integrated pure and applied sciences.

en.wikipedia.org

Georg Cantor

Georg Cantor was a German mathematician. He played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are more numerous than the natural numbers.

en.wikipedia.org

David Hilbert

David Hilbert was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics (particularly proof theory).

en.wikipedia.org

for a lecturer/senior lecturer position in Computer Science.

Deadline 5^{th} of February 2023.

Lecturer or Senior Lecturer in Computer Science

Review the contract type, salary and job description and submission details for the role you are applying for at Swansea University

Applications in Theoretical Computer Science/Formal Methods are very welcome.

]]>CIPSH: World Logic Day

This page lists events celebrating World Logic Day 2023. If you want to contribute an event, follow the guidelines specified here.

wld.cipsh.international