Directory
References
impredicative construction
mathematics
Learn about this topic in these articles:
foundations of mathematics
- In foundations of mathematics: Impredicative constructions
A number of 19th-century mathematicians found fault with the program of reducing mathematics to arithmetic and set theory as suggested by the work of Cantor and Frege. In particular, the French mathematician Henri Poincaré (1854–1912) objected to impredicative constructions, which construct an entity…
Read More