play quizzes ad-free
Random Quiz
Quizzes
Popular
Badges
Playlists
Type
Ratings
Favorites
Difficulty
Length
Date
Guides
Categories
Sports
Geography
Music
Movies
Television
Just For Fun
Miscellaneous
History
Literature
Language
Science
Gaming
Entertainment
Religion
Holiday
Quiz Lab
Summary
Popular
Recent
Quizzes to Consider
Editor Picks
Curator Picks
Create
Dashboard
Create a Quiz
Playlist Dashboard
Creation FAQ
Creation Guides
Community
Subscriptions
Sporcle News
Recent Discussions
Leaderboards
Multiplayer
Showdown
Live 5
Trivia Bingo
Live Trivia
Locations & Scores
Trivia Leagues
Theme Nights
Pub Owners
Private Events
Become a Host
Blog
Announcements
Articles
Badge News
Community
How To
×
Science Quiz
/ Famous logicians
Random
Science
or
Logic
Quiz
Can you name the famous logicians?
by
Ignis_Umbrae
Plays
Quiz not verified by Sporcle
Popular Quizzes
Today
Obscure Knowledge - NFL Teams
20,411
Crossword Blackout! X
17,628
Find the US States - No Outlines Minefield
14,942
United States Logic Map
11,655
Find the U.S. States
11,157
More Quizzes
Quiz Rating Details
Rate 5 stars
Rate 4 stars
Rate 3 stars
Rate 2 stars
Rate 1 star
Also try:
Striped Creatures
Challenge
Share
Tweet
Score
Numerical Score
Percentage
0/24
ll
Timer
Default Timer
Stopwatch
?
06:00
Play Quiz
Enter logician:
You got
%
Avg Score
%
Try Again
Share Results
Quiz Stats
Play Another
Nationality
Name
Famous for...
Polish
His undefinability theorem, and the sphere-duplicating paradox co-authored with Stefan Banach
German
Co-developing the standard consistent axiomatization of set theory; proposing the axiom of choice
American
Discovering with William Howard for discovering the correspondence between constructive proofs and computer programs
British
Eponymous diagrams used to show pictorially the relationships between sets
German
Begriffsschrift; inventing the turnstile symbol
Austro-American
His incompleteness theorems
Greek
The Organon, one of the oldest extant treatises on logic
American
Expanding the then-embryonic field of relational logic; discovering that all binary operations can be written in terms of NAND or NOR
English
Developing a theory of binary logic
German
His program which sought to provide firm foundations for all of mathematics; providing the standard axiomatization of Euclidean geometry
American
Inventing the lambda calculus and formalizing the notion of an algorithm
Norwegian
Pioneering model theory; theorem with LĂ¶wenheim on models of countable first-order theories
Nationality
Name
Famous for...
British
Two laws relating OR and NOT to each other via negation; coining the term 'induction'
American
Founding and developing modal logic
German
Proving the consistency of the next mathematician's axioms for the natural numbers; introducing sequent calculus
Italian
Proposing the standard axiomatization of the natural numbers
English
His theorem which is one of the standard examples of a theorem unprovable in the previous mathematician's arithmetic
American
Proving the independence of the continuum hypothesis and the axiom of choice from ZF
German
Co-discovering with the next mathematician that if there are injections both ways between two sets, then there is a bijection between the sets
German
Founding set theory and the concept of infinite cardinals
British
Paradox of 'set of all sets that do not contain themselves'; co-authoring Principia Mathematica with Alfred Whitehead
American
His unary 'star' operation; regular expressions; founding computability theory
German
The Entscheidungsproblem; his concept of the universal 'calculus ratiocinator'
English
Formalizing the concept of an algorithm with his abstract calculating machines; proving the undecidability of the halting problem
play quizzes ad-free
You're not logged in!
Compare scores with friends on all Sporcle quizzes.
Connect with Facebook
Connect with Google
Join for Free
OR
Log In
Remember Me
Forgot?
Log In
You Might Also Like...
Mathematicians' First Names
Composer or Mathematician?
Mystery Math Media
Trivia Grid Blitz - Numbers
hide this ad
Showdown Top Performers
Go to Showdown Hub
(warning: may contain spoilers)
Show Comments
Extras
Created Apr 24, 2010
Report
Nominate
Tags:
Famous Quiz
,
Logic Quiz
,
Math Quiz
,
nationality
Top Quizzes Today
Score Distribution
hide this ad
Your Account Isn't Verified!
In order to create a playlist on Sporcle, you need to verify the email address you used during registration. Go to your
Sporcle Settings
to finish the process.
Report this User
Report this user for behavior that violates our
Community Guidelines
.
Details:
Send Report
Go to the Sporcle.com Mobile Site →

## Show Comments