 |
- Home
- Submit
-
Browse
- By laboratory
- By department
-
By researchteam
- ACES - Autonomic and Critical Embedded Systems
- CCN - Cybersecurity for Communication and Networking
- COMNUM - Communications numériques
- LinkC2S - Circuits et Systèmes de communication
- DIG - Data, Intelligence and Graphs
- DIVA - Design, Interaction, Visualization and Applications
- ECOGE - Economie Gestion
- GTO - Télécommunications Optiques
- IMAGES - Image, Modélisation, Analyse, GEométrie, Synthèse
- IQA - Information Quantique et Applications
- LabSoC - System on Chip
- MC2 - Mathématiques discrètes, Codage et Cryptographie
- MM- Multimédia
- RFM2 - Radio-Fréquences Microondes et Ondes Millimétriques
- RMS - Réseaux, Mobilité et Services
- S2A - Signal, Statistique et Apprentissage
- SID - Sociologie, Information-Communication Design
- SPE - Sociologie, Psychologie ergonomique
- SSH - Secure and Safe Hardware
- By doctype
- Browse by author
- Search
Book sections
A local-global principle for the real continuum
Olivier Rioul
1, 2
José Carlos Magossi
3
1
COMNUM - Communications Numériques
LTCI - Laboratoire Traitement et Communication de l'Information
Olivier Rioul 1, 2
Mail :
Author IdHAL : rioul arXiv : https://arxiv.org/a/rioul ORCID : https://orcid.org/0000-0002-8681-8916
José Carlos Magossi 3
Author
1
COMNUM - Communications Numériques (46 rue Barrault
75013 Paris - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
2
COMELEC - Département Communications & Electronique (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
3
UNICAMP - Institute of Computing [Campinas] (Instituto de Computação (IC) Universidade Estadual de Campinas (UNICAMP) Avenida Albert Einstein, 1251 Caixa Postal 6176 13084-971 Campinas, SP - Brazil)
Abstract : We discuss the implications of a local-global (or global-limit) principle for proving the basic theorems of real analysis. The aim is to improve the set of available tools in real analysis, where the local-global principle is used as a unifying principle from which the other completeness axioms and several classical theorems are proved in a fairly direct way. As a consequence, the study of the local-global con- cept can help establish better pedagogical approaches for teaching classical analysis.
Document type :
Book sections
Domain :
Complete list of metadatas
https://hal.telecom-paris.fr/hal-02300760
Contributor : Olivier Rioul <>
Submitted on : Sunday, September 29, 2019 - 6:29:34 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:54 PM
Contributor : Olivier Rioul <>
Submitted on : Sunday, September 29, 2019 - 6:29:34 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:54 PM
Identifiers
- HAL Id : hal-02300760, version 1
Collections
INSMI | LTCI | PARISTECH | INSTITUT-TELECOM | COMELEC | COMNUM | UNIV-PARIS-SACLAY | TDS-MACS
Citation
Olivier Rioul, José Carlos Magossi. A local-global principle for the real continuum. W. Carnielli and J. Malinowski. Contradictions, from Consistency to Inconsistency, 47, Springer, pp.213-240, 2018, Trends in Logic. ⟨hal-02300760⟩
Metrics
Record views
