Back to Results
First PageMeta Content
Functions and mappings / Type theory / Impredicativity / Philosophy of mathematics / Axiom of reducibility / Logicism / Function / Principia Mathematica / Axiom of choice / Mathematics / Logic / Mathematical logic


Document Date: 2002-11-18 18:29:08

Open Document

File Size: 255,24 KB

Share Result on Facebook

Company

Russell / /

IndustryTerm

satisfactory solution / /

MarketIndex

Russell 1925 / /

Organization

American Philosophical Association / Association for Symbolic Logic / /

Person

Jeremy Avigad / Paolo Mancosu / John Dawson / Aki Kanamori / Michael Hallett / Charles Chihara / Geoffrey Hellman / Henri Poincar / Philippe de Rouilhan / Dirk van Dalen / Warren Goldfarb / Leopold Kronecker / Hermann Weyl / /

Position

one of the members / mathematician / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

New Brunswick / /

SocialTag