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
RIDAA (UNQ)
Institución
Universidad Nacional de Quilmes
OAI Identificador
oai:ridaa.unq.edu.ar:20.500.11807/2487

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