5 votos

¿Hay argumentos lógicos en contra del moderno$\sf ZFC$ set theory?

Como de esta pregunta, mi conocimiento de la teoría de conjuntos es bastante peatonal. He leído acerca de él en numerosas no técnicos, documentos e incluso trabajó a través de tres capítulos de Jech - la Teoría de conjuntos, sino en términos de lo real en el conjunto de los teóricos tengo ni idea (mi idea de forzar a la gente de alguna manera empujones axiomas en $\sf ZFC$).

He escuchado a muchas personas hablar acerca de cómo $\sf ZFC$ es de alguna manera equivocada. Algunos ejemplos:

  • He leído Wildberger del papel donde dice el axioma de infinitud como "existe un conjunto infinito" y procede a bash cómo informal es. He visto el MSE hilo donde este sea analizado y visto argumentos de por qué es, de hecho, no es un strawman, pero no me convence. (Él no parece tener un problema con la elección específicamente, sino más bien con infinidad de comenzar con [y supongo que sin el infinito elección no es una cosa de todos modos.])

  • He visto la última sección de la ponencia en la división por tres (disponible en línea) donde hablan de cómo la elección, probablemente no es cierto, sin dar ningún apoyo matemático para esta hipótesis. Incluso afirman que no hay trabajo que se hizo para mostrar ZFC es contradictorio - es que esto sigue ocurriendo hoy en día?

  • También he visto la de Banach-Tarski paradoja utilizado como un argumento en contra de la elección. Básicamente, dicen que desde la elección del continuo, implica un resultado asombroso que es así , obviamente, no es cierto (¿por qué, exactamente?) que debe ser malo. Este argumento me parece similar a uno en la física cuántica - cuando Heisenberg demostró que el principio de incertidumbre de nadie entró en pánico y empezó a hablar en serio acerca de cómo estados cuánticos no debe constituir un espacio de Hilbert, después de todo.

Esto es sobre ello. Hay argumentos con contenido matemático en contra de $\sf ZFC$ si es refutar el infinito, la elección, o algo más?

9voto

DanV Puntos 281

La pregunta es ¿qué es lo que consideran un "argumento lógico".

Todos los argumentos que usted plantea son filosóficas y basado en la idea de que las matemáticas deben de alguna manera de describir nuestra realidad física, y por lo tanto debe ser compatible con nuestra intuición física. Personalmente me parece que este argumento de la falta, ya que nuestra intuición física que cambia todo el tiempo de todos modos, y tenemos mentes finitas cuando se trata de comprender muy pequeños o muy grandes objetos de todos modos. Así que ¿qué sabemos acerca de la realidad física?

Una vez que se retire el argumento de "esto es incompatible con la forma en que percibo la realidad", y de acuerdo en que las matemáticas si formalista juegos en papel, o para describir un ideal matemático del universo, pero no de nuestro universo físico tal como la entendemos, cualquier argumento es realmente en contra de las matemáticas como un todo, en lugar de específicamente $\sf ZFC$.

Estos podrían ser sobre el uso de la ley de medio excluido, u otros que no sean los métodos constructivos, pero eso no es específica contra la $\sf ZFC$. Muchas personas utilizan la ley de medio excluido, todo a través de las matemáticas. O acerca de cómo establecer teóricos activamente la explotación de la incompletitud fenómeno que puede confundir incluso con experiencia matemáticos (cierto y comprobable, no son la misma cosa en la teoría de conjuntos, y en cualquier suficientemente fuerte de la teoría; esto puede ser desconcertante, pero esto se reduce a "esto es incompatible con la forma en que veo las matemáticas", en lugar de ser un argumento matemático).


¿Qué conjunto de los teóricos de hacer? Que el estudio de la estructura de los diferentes modelos de $\sf ZFC$ o $\sf ZF$. Como muchos otros matemáticos podría ser el estudio de los esquemas o módulos, o monoids, o simplicial objetos en un espacio de pocas dimensiones. Vamos a estudiar la estructura de los modelos de la teoría de conjuntos, y le pregunte lo que usted puede probar o refutar. Si alguien quiere refutar la afirmación de que "Cada espacio de Banach tiene una base con tales y tales propiedades", que van a trabajar duro y construir este espacio. Si alguien quiere refutar la afirmación "Todos los modelos de la teoría de conjuntos tiene tales y tales propiedades", que van a trabajar duro y construir un modelo en que falle. Obligando a es una de las herramientas de la utilidad de la correa de un conjunto teórico.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X