¿Están las matemáticas definidas por la lógica que crea? ¿Hay algo más en el universo que haga lo mismo?

La base sobre la que se erigen todas las matemáticas son las reglas llamadas axiomas o postulados. Estas son declaraciones que son tan obvias que simplemente las consideramos verdaderas, ya que nos permite construir modelos matemáticos que luego se comportan con la realidad observada.

Los axiomas son sobre la realidad tal como la percibimos, y no podemos probar que la realidad exista. Podría ser un cerebro en una tina, soñando con la idea de que estoy escribiendo esto, o una inteligencia incorpórea inventando todo el Universo y todo lo que contiene. No estoy presumiendo Igualmente podría ser que realmente no existo y tú, el OP, me estás dando vida en tus pensamientos. Tal filosofía se llama solipsismo duro.

Sin embargo, nadie piensa demasiado en el solipsismo, excepto cuando recurren a él como un mosquito cuando surgen cuestiones de verdad. Cualquiera que realmente crea que el resto del Universo no existe, sino que es solo un producto de su imaginación, no vería nada de malo en salir de un edificio alto o pararse frente al tráfico que se aproxima. Entonces, los mosquitos persisten porque simplemente le dan el labio al solipsismo, no practican lo que predican. Los solipsistas reales tienden a eliminarse rápidamente del acervo genético, manteniendo los números que mantienen esta filosofía baja.

Con respecto a su pregunta sobre paralelos fuera de las matemáticas, se utiliza una estrategia similar en filosofía y epistemología para dar una base al pensamiento humano. Los absolutos lógicos son la base de toda lógica. Son declaraciones que parecen evidentes en el mundo en el que nos encontramos.

La idea de que las matemáticas deben basarse en la lógica es la base de la escuela de filosofía matemática conocida hoy como el logicismo. Los pioneros de este enfoque fueron Alfred North Whitehead y Bertrand Russell; se propusieron dar a las matemáticas una base completamente lógica, comenzando con lo que hoy conocemos como lógica proposicional. El resultado fueron los tres volúmenes de Principia Mathematica. Gran parte de su trabajo ha jugado un papel importante en la creación de lo que ahora llamamos lógica matemática: el estudio del lenguaje de la lógica.

Desde entonces, el lógicismo ha sido abandonado como un enfoque de los fundamentos de las matemáticas, en gran parte porque los teoremas de incompletitud debidos a Gödel muestran que toda axiomatización lo suficientemente poderosa contendrá fórmulas que son verdaderas pero no demostrables usando solo el sistema de axiomas (y sus reglas de prueba asociadas).

La matemática es una herramienta de aprendizaje (o un estudio de) números, creada por mapeos y patrones de un conjunto o subconjunto definido.

Cada herramienta de aprendizaje que tenemos funciona bajo la premisa de comprender patrones (y cualquier patrón subyacente). Dado que las herramientas de aprendizaje se crean en el cerebro de alguien, en función de sus propios conocimientos y patrones interpretados, entonces sí, todas las herramientas de aprendizaje se crean de la misma manera.

Y sí, generalmente hay menos suposiciones en matemáticas que otros estudios. Pero, incluso la psicología y la quiropráctica (ciencias aplicadas) se basan en algunos patrones observables.

Sin embargo, las nociones subyacentes – conducen a qué tan bien – una ciencia aplicada se sostiene.

Si “en sí mismo crea” significa que se ajusta a los axiomas, entonces podría generalizarse a la lógica en general.
Se podría decir que alguna filosofía hace lo mismo.
Podría decirse que las matemáticas no están “en el universo”

Esa es una pregunta profundamente filosófica.
¿Las matemáticas son “inventadas” como un poema o “descubiertas” como un explorador?
La lógica de las matemáticas parece existir fuera de las matemáticas, pero también es posible que sea requerida por la estructura del cerebro humano.

NADIE SABE, probablemente; ¡NADIE PUEDE SABER POSIBLEMENTE!