Back to Results
First PageMeta Content
Proof theory / Mathematical proofs / Logical syntax / Logical truth / Theorem / Pythagorean theorem / Proof by contradiction / Formal proof / Mathematical induction / Mathematics / Logic / Mathematical logic


Document Date: 2007-07-25 14:17:38

Open Document

File Size: 2,59 MB

Share Result on Facebook

City

Oxford / /

Company

Thales / /

Country

Greece / /

IndustryTerm

psychological device / /

NaturalFeature

Topanga Canyon / /

Organization

Institute for Advanced Study / MIT / Harvard / /

Person

Jerry Lyons / Frank Wilczek / Charles Fefferman / Roger Penrose / Arthur Jaffe / Grisha Perelman / Steven G. Krantz / /

Position

careful scientist / Errett Bishop / professional mathematician / Mathematician / lawyer / /

ProgrammingLanguage

Mathematica / /

Technology

Ado / /

SocialTag