5 votos

Buena fuente de corriente ' puntos de vista y pensamientos ' en matemáticas

Recientemente me he vuelto interesado en la historia de lo que piensan sobre las matemáticas. Lo que quiero decir con esto es por ejemplo como Godels prueba básicamente pone fin a la escuela entera de pensamiento propuesto por Bertrand Russel.

Ahora me pregunto si hay alguna similares escuelas de pensamiento en las matemáticas actuales. Y si hay buenas fuentes en la historia completa de cómo todos esos puntos de vista y escuelas de pensamiento llegó a ser y cómo terminaron.

3voto

Mauro ALLEGRANZA Puntos 34146

Para el papel "fundamental" en el debate de los años '30, consulte :

Por cierto impacto en las matemáticas de uno de los anteriores filosófica "escuelas" (por ejemplo, Intuitionism y relacionados : Intuitionistic Lógica, El Desarrollo de Intuitionistic Lógica, Luitzen Egbertus Jan Brouwer, la Teoría de conjuntos: Constructivo y Intuitionistic ZF) ver Constructivo de las Matemáticas y :


También vale la pena señalar una "conexión" entre Intuitionism/Constructivismo, Alonzo Church Cálculo Lambda y N. G. de Bruijn's Automath (y ver aquí), un lenguaje formal "precursor" de la prueba asistentes.

1voto

mrp Puntos 2351

Parece que usted está interesado en lo que a menudo se llama filosofía de las matemáticas. Si bien hay muchos libros y artículos sobre este tema por ahí, personalmente puedo recomendar Pensando acerca de las matemáticas, que lleva al lector a través de una introducción a la historia de la filosofía de las matemáticas, así como más recientes de Shapiro ideas y escuelas de pensamiento.

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: