Back to Results
First PageMeta Content
Metric geometry / General topology / Calculus / Constructive analysis / Constructivism / Cauchy sequence / Errett Bishop / Continuous function / Reverse mathematics / Mathematics / Topology / Mathematical analysis


Document Date: 2002-06-21 21:33:01

Open Document

File Size: 194,70 KB

Share Result on Facebook

Company

Chs / W. / /

Country

Denmark / /

Currency

BRL / pence / /

Facility

Princeton University / University of Roskilde / /

IndustryTerm

formal systems / certain second order formal systems / /

Organization

University of Roskilde / Princeton University / /

Person

Harvey Friedman / Douglas Bridges / Steve Simpson / Unfortunately Bishop / Stephen Simpson / Paul Lorenzen / /

Position

Bishop / constructive mathematician / classical mathematician / mathematician / /

SocialTag