A Machine Proof of the Filter-Method Construction for Real Numbers
This paper presents a machine verification of a real number theory where real numbers are constructed using concepts related to filters. The theory encompasses a special filter, namely the non-principal arithmetical ultrafilter whose existence can be proven with the Continuum Hypothesis, to establis...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
MDPI AG
2025-08-01
|
| Σειρά: | Mathematics |
| Θέματα: | |
| Διαθέσιμο Online: | https://www.mdpi.com/2227-7390/13/17/2707 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|