1.2.06

1081.- Demostracion por el absurdo (4)

Los siguientes proto intuicionistas fueron Borel y Lebesgue en Francia, y H Weyl en Alemania. De los primeros podemos decir que armaron la moderna teoría de la integral (y que alguien me diga si es muy constructivo / intuitivo el procedimiento... todo muy lindo pero sabemos que es incalculable en la práctica). De Weyl, aparte de que vivió en la Argentina, tendría mucho para decir (mis tesis de licenciatura y de doctorado generalizan resultados suyos de teoría espectral), y lo que conozco de él es poco intuitivo, aunque es cierto que siempre tuvo un ojo mirando hacia las aplicaciones y esto hace que muchos resultados sean 'calculables'.

Y apareció LEJ Brouwer, el holandés que le dio forma al intuicionismo. Sin embargo, es más conocido por sus trabajos en topología (la aproximación simplicial imprescindible en la topología algebraica moderna, el grado topológico que nos permite hallar soluciones probar la existencia de soluciones de ecuaciones diferenciales no lineales, los teoremas de punto fijo...). El fue quien se planteó el tema de qué pasaria si la proposicion: "Si una proposicion no es verdadera, entonces es falsa", no es verdadera, por citar al amigo vqp.