Back to Results
First PageMeta Content
Philosophical logic / Philosophy of mathematics / Rules of inference / Law of excluded middle / Law of noncontradiction / Principia Mathematica / Term logic / Many-valued logic / Double negation / Logic / Philosophy / Mathematical logic


Document Date: 2008-12-22 16:52:06


Open Document

File Size: 157,50 KB

Share Result on Facebook

City

Cambridge / Bloomington / Indianapolis / London / Milwaukee / New York / Oxford / /

Company

Let us / /

/

IndustryTerm

radical solution / axiom systems / /

Organization

Fregean / /

Person

Kurt Godel / Frege / Galileo / Robert Hartman / Brouwer / Floy E. Andrews / Stephen Kleene / Jean T. Oesterle / Ackrill / Bertrand Russell / Alfred North Whitehead / Roger Penrose / Wolfgang Schwarz / Ernst Nagel / /

Position

Prime Minister / century leader / Formal System PM / Emperor / mathematician / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

Indiana / British Columbia / New York / Massachusetts / /

PublishedMedium

The Philosopher / /

URL

www.swgc.mun.ca/animus / /

SocialTag