Recientemente me he interesado por la historia de la forma de pensar en las matemáticas. Me refiero, por ejemplo, a cómo la prueba de Godels acabó básicamente con toda la escuela de pensamiento propuesta por Bertrand Russel.
Ahora me pregunto si existen "escuelas de pensamiento" similares en las matemáticas actuales. Y si hay alguna buena fuente sobre la historia completa de cómo surgieron todos esos puntos de vista y escuelas de pensamiento y cómo terminaron.
Para el debate "fundacional" de los años 30, véase :
Para algunas repercusiones en las matemáticas de una de las "escuelas" filosóficas mencionadas (por ejemplo Intuicionismo y relacionados : Lógica intuicionista , El desarrollo de la lógica intuicionista , Luitzen Egbertus Jan Brouwer , Teoría de conjuntos: ZF constructiva e intuicionista ) ver Matemáticas constructivas y :
También vale la pena señalar una "conexión" entre el Intuicionismo/Constructivismo, de Alonzo Church Cálculo Lambda y N.G. de Bruijn 's Automath (y ver aquí ), un lenguaje formal "precursor" de los asistentes de pruebas.
Parece que le interesa lo que suele llamarse filosofía de las matemáticas . Aunque hay muchos libros y artículos sobre este tema, puedo recomendar personalmente el libro de Shapiro Pensar en las matemáticas que lleva al lector a través de una introducción tanto a la historia de la filosofía de las matemáticas, como a las ideas y escuelas de pensamiento más recientes.
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.
