The concept of existence in mathematics
- Autores
- Jacovkis, Pablo M.
- Año de publicación
- 2017
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- Fil: Jacovkis, Pablo M. Universidad Nacional de Tres de Febrero; Argentina.
Fil: Jacovkis, Pablo M. Universidad de Buenos Aires; Argentina.
We assert that, from a pragmatic point of view, mathematicians treat mathematical objects as if they were real. If a theory is consistent, theorems are discovered (sometimes with analyses not necessarily different from those applied in sciences) and proofs are invented; modern technology cannot exist without accepting the law of excluded middle; a constructive proof may provide new ideas or methods but, from a mathematical point of view, a non-constructive proof is as sound as a constructive one. Accordingly, no mathematician, pure or applied, gets by without the axiom of choice; on the other hand, although different theorems and objects may appear depending on the acceptance or not of the continuum hypothesis, no important theorem applicable to the real world exists – at least until now – which depends on accepting or not this hypothesis. Mathematical objects built by applied mathematicians are often as useful as physical objects, even those objects created via computer-assisted or probabilistic methods.
Afirmamos que, desde un punto de vista pragmático, los matemáticos tratan los objetos matemáticos como si fueran reales. Si una teoría es consistente, los teoremas se descubren (a veces con análisis no necesariamente diferentes de los aplicados en ciencias naturales) y las demostraciones se inventan; la tecnología moderna no puede existir sin aceptar la ley del tercero excluido; una demostración constructiva puede suministrar nuevas ideas o métodos pero, desde el punto de vista matemático, una demostración no constructiva es tan sólida como una constructiva. En consecuencia, ningún matemático, puro o aplicado, prescinde del axioma de elección; por otra parte, aunque según se acepte o no la hipótesis del continuo pueden aparecer distintos teoremas y objetos, no existe –al menos hasta ahora– ningún teorema importante aplicable al mundo real que dependa de aceptar o no dicha hipótesis. Los objetos matemáticos construidos por matemáticos aplicados son a menudo tan útiles como los objetos físicos, incluso aquellos objetos que fueron creados mediante métodos computacionales o probabilísticos. - Fuente
- Metatheoria
1853-2322 (impresa)
1853-2330 (en línea) - Materia
-
Teorema de existencia
Filosofía de las matemáticas
Descubrimientos científicos
Inventos
Existence theorem
Philosophy of mathematics
Scientific discoveries
Inventions
Teorema de existência
Filosofia da matemática
Descobertas científicas
Invenções - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-nd/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de Quilmes
- OAI Identificador
- oai:ridaa.unq.edu.ar:20.500.11807/2487
Ver los metadatos del registro completo
id |
RIDAA_355e4200e8935ef5835fc06977fc2191 |
---|---|
oai_identifier_str |
oai:ridaa.unq.edu.ar:20.500.11807/2487 |
network_acronym_str |
RIDAA |
repository_id_str |
4108 |
network_name_str |
RIDAA (UNQ) |
spelling |
The concept of existence in mathematicsEl concepto de existencia en matemáticasJacovkis, Pablo M.Teorema de existenciaFilosofía de las matemáticasDescubrimientos científicosInventosExistence theoremPhilosophy of mathematicsScientific discoveriesInventionsTeorema de existênciaFilosofia da matemáticaDescobertas científicasInvençõesFil: Jacovkis, Pablo M. Universidad Nacional de Tres de Febrero; Argentina.Fil: Jacovkis, Pablo M. Universidad de Buenos Aires; Argentina.We assert that, from a pragmatic point of view, mathematicians treat mathematical objects as if they were real. If a theory is consistent, theorems are discovered (sometimes with analyses not necessarily different from those applied in sciences) and proofs are invented; modern technology cannot exist without accepting the law of excluded middle; a constructive proof may provide new ideas or methods but, from a mathematical point of view, a non-constructive proof is as sound as a constructive one. Accordingly, no mathematician, pure or applied, gets by without the axiom of choice; on the other hand, although different theorems and objects may appear depending on the acceptance or not of the continuum hypothesis, no important theorem applicable to the real world exists – at least until now – which depends on accepting or not this hypothesis. Mathematical objects built by applied mathematicians are often as useful as physical objects, even those objects created via computer-assisted or probabilistic methods.Afirmamos que, desde un punto de vista pragmático, los matemáticos tratan los objetos matemáticos como si fueran reales. Si una teoría es consistente, los teoremas se descubren (a veces con análisis no necesariamente diferentes de los aplicados en ciencias naturales) y las demostraciones se inventan; la tecnología moderna no puede existir sin aceptar la ley del tercero excluido; una demostración constructiva puede suministrar nuevas ideas o métodos pero, desde el punto de vista matemático, una demostración no constructiva es tan sólida como una constructiva. En consecuencia, ningún matemático, puro o aplicado, prescinde del axioma de elección; por otra parte, aunque según se acepte o no la hipótesis del continuo pueden aparecer distintos teoremas y objetos, no existe –al menos hasta ahora– ningún teorema importante aplicable al mundo real que dependa de aceptar o no dicha hipótesis. Los objetos matemáticos construidos por matemáticos aplicados son a menudo tan útiles como los objetos físicos, incluso aquellos objetos que fueron creados mediante métodos computacionales o probabilísticos.Universidad Nacional de QuilmesUniversidad Nacional de Tres de Febrero2017-04-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://ridaa.unq.edu.ar/handle/20.500.11807/2487Metatheoria1853-2322 (impresa)1853-2330 (en línea)reponame:RIDAA (UNQ)instname:Universidad Nacional de Quilmesenginfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-nd/2.5/ar/2025-09-29T13:40:35Zoai:ridaa.unq.edu.ar:20.500.11807/2487instacron:UNQInstitucionalhttp://ridaa.unq.edu.ar/Universidad públicaNo correspondehttp://ridaa.unq.edu.ar/oai/snrdalejandro@unq.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:41082025-09-29 13:40:35.94RIDAA (UNQ) - Universidad Nacional de Quilmesfalse |
dc.title.none.fl_str_mv |
The concept of existence in mathematics El concepto de existencia en matemáticas |
title |
The concept of existence in mathematics |
spellingShingle |
The concept of existence in mathematics Jacovkis, Pablo M. Teorema de existencia Filosofía de las matemáticas Descubrimientos científicos Inventos Existence theorem Philosophy of mathematics Scientific discoveries Inventions Teorema de existência Filosofia da matemática Descobertas científicas Invenções |
title_short |
The concept of existence in mathematics |
title_full |
The concept of existence in mathematics |
title_fullStr |
The concept of existence in mathematics |
title_full_unstemmed |
The concept of existence in mathematics |
title_sort |
The concept of existence in mathematics |
dc.creator.none.fl_str_mv |
Jacovkis, Pablo M. |
author |
Jacovkis, Pablo M. |
author_facet |
Jacovkis, Pablo M. |
author_role |
author |
dc.subject.none.fl_str_mv |
Teorema de existencia Filosofía de las matemáticas Descubrimientos científicos Inventos Existence theorem Philosophy of mathematics Scientific discoveries Inventions Teorema de existência Filosofia da matemática Descobertas científicas Invenções |
topic |
Teorema de existencia Filosofía de las matemáticas Descubrimientos científicos Inventos Existence theorem Philosophy of mathematics Scientific discoveries Inventions Teorema de existência Filosofia da matemática Descobertas científicas Invenções |
dc.description.none.fl_txt_mv |
Fil: Jacovkis, Pablo M. Universidad Nacional de Tres de Febrero; Argentina. Fil: Jacovkis, Pablo M. Universidad de Buenos Aires; Argentina. We assert that, from a pragmatic point of view, mathematicians treat mathematical objects as if they were real. If a theory is consistent, theorems are discovered (sometimes with analyses not necessarily different from those applied in sciences) and proofs are invented; modern technology cannot exist without accepting the law of excluded middle; a constructive proof may provide new ideas or methods but, from a mathematical point of view, a non-constructive proof is as sound as a constructive one. Accordingly, no mathematician, pure or applied, gets by without the axiom of choice; on the other hand, although different theorems and objects may appear depending on the acceptance or not of the continuum hypothesis, no important theorem applicable to the real world exists – at least until now – which depends on accepting or not this hypothesis. Mathematical objects built by applied mathematicians are often as useful as physical objects, even those objects created via computer-assisted or probabilistic methods. Afirmamos que, desde un punto de vista pragmático, los matemáticos tratan los objetos matemáticos como si fueran reales. Si una teoría es consistente, los teoremas se descubren (a veces con análisis no necesariamente diferentes de los aplicados en ciencias naturales) y las demostraciones se inventan; la tecnología moderna no puede existir sin aceptar la ley del tercero excluido; una demostración constructiva puede suministrar nuevas ideas o métodos pero, desde el punto de vista matemático, una demostración no constructiva es tan sólida como una constructiva. En consecuencia, ningún matemático, puro o aplicado, prescinde del axioma de elección; por otra parte, aunque según se acepte o no la hipótesis del continuo pueden aparecer distintos teoremas y objetos, no existe –al menos hasta ahora– ningún teorema importante aplicable al mundo real que dependa de aceptar o no dicha hipótesis. Los objetos matemáticos construidos por matemáticos aplicados son a menudo tan útiles como los objetos físicos, incluso aquellos objetos que fueron creados mediante métodos computacionales o probabilísticos. |
description |
Fil: Jacovkis, Pablo M. Universidad Nacional de Tres de Febrero; Argentina. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017-04-01 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://ridaa.unq.edu.ar/handle/20.500.11807/2487 |
url |
http://ridaa.unq.edu.ar/handle/20.500.11807/2487 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero |
publisher.none.fl_str_mv |
Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero |
dc.source.none.fl_str_mv |
Metatheoria 1853-2322 (impresa) 1853-2330 (en línea) reponame:RIDAA (UNQ) instname:Universidad Nacional de Quilmes |
reponame_str |
RIDAA (UNQ) |
collection |
RIDAA (UNQ) |
instname_str |
Universidad Nacional de Quilmes |
repository.name.fl_str_mv |
RIDAA (UNQ) - Universidad Nacional de Quilmes |
repository.mail.fl_str_mv |
alejandro@unq.edu.ar |
_version_ |
1844618643123470337 |
score |
13.070432 |