Strict finitism, feasibility, and the sorites
From MaRDI portal
Publication:4577997
Recommendations
Cites work
- scientific article; zbMATH DE number 5976664 (Why is no real title available?)
- scientific article; zbMATH DE number 3873291 (Why is no real title available?)
- scientific article; zbMATH DE number 3974958 (Why is no real title available?)
- scientific article; zbMATH DE number 3981120 (Why is no real title available?)
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 3720909 (Why is no real title available?)
- scientific article; zbMATH DE number 3741385 (Why is no real title available?)
- scientific article; zbMATH DE number 3786772 (Why is no real title available?)
- scientific article; zbMATH DE number 3790399 (Why is no real title available?)
- scientific article; zbMATH DE number 3792127 (Why is no real title available?)
- scientific article; zbMATH DE number 44307 (Why is no real title available?)
- scientific article; zbMATH DE number 50503 (Why is no real title available?)
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 3482337 (Why is no real title available?)
- scientific article; zbMATH DE number 3557241 (Why is no real title available?)
- scientific article; zbMATH DE number 1144041 (Why is no real title available?)
- scientific article; zbMATH DE number 2144525 (Why is no real title available?)
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 1855559 (Why is no real title available?)
- scientific article; zbMATH DE number 1852988 (Why is no real title available?)
- scientific article; zbMATH DE number 2106998 (Why is no real title available?)
- scientific article; zbMATH DE number 848781 (Why is no real title available?)
- scientific article; zbMATH DE number 3216997 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3310055 (Why is no real title available?)
- scientific article; zbMATH DE number 3366923 (Why is no real title available?)
- scientific article; zbMATH DE number 3422328 (Why is no real title available?)
- scientific article; zbMATH DE number 3071024 (Why is no real title available?)
- A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
- Computation, logic, philosophy. A collection of essays
- Computational Complexity
- EIGHTY YEARS OF FOUNDATIONAL STUDIES
- Existence and feasibility in arithmetic
- Foundational aspects of theories of measurement
- Induction the Hard Way
- Internal set theory: A new approach to nonstandard analysis
- Logical foundations of proof complexity
- Modeling vagueness by nonstandardness
- Models and reality
- Non-standard analysis
- Notes on polynomially bounded arithmetic
- On feasible numbers
- Predicative Frege arithmetic and `everyday' mathematics
- Saving truth from paradox
- Semiorders and a Theory of Utility Discrimination
- Some impredicative definitions in the axiomatic set theory
- Subsystems of second order arithmetic
- The prehistory of the subsystems of second-order arithmetic
- Tolerant, classical, strict
- Two (or three) notions of finitism
- Vagueness, tolerance and contextual logic
- Vagueness, truth and logic
- Wang's paradox
- Zooming Down the Slippery Slope
Cited in
(6)- Wright's strict finitistic logic in the classical metatheory: the propositional case
- On mathematical realism and applicability of hyperreals
- Strict finitism and the happy sorites
- Strict finitism and feasibility
- scientific article; zbMATH DE number 5054077 (Why is no real title available?)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
This page was built for publication: Strict finitism, feasibility, and the sorites
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577997)
