Philosophy Of Mathematics

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Philosophy Of Mathematics.

• Actual and potential infinity — The philosophical distinction between an infinite totality treated as completed and an indefinitely extendable process in which every attained stage remains finite.
• Benacerraf's identification problem — The philosophical problem that many equally adequate set-theoretic constructions realize the natural numbers, so arithmetic does not determine which particular sets the numbers intrinsically are.