Definition:Impredicative Definition/Intuitionist Perspective
Jump to navigation
Jump to search
Impredicative Definition: Intuitionist Perspective
The concept of an impredicative definition is rejected by the intuitionistic school, which rejects the existence of an mathematical object if it cannot exist independently of our ability to prove its existence using a finite number of steps.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): intuitionism
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): intuitionism