Joe es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 12 resp
El mejor texto para estudiar ambos teoremas de incompletitud
el 31 de Agosto, 2019 20 votos - 15 resp
El pensamiento abstracto frente al cálculo
el 10 de Junio, 2021 60 votos - 5 resp
Pruebas del teorema de Gödel
el 29 de Enero, 2020 26 votos - 1 resp
¿Utilizar ArcPy para copiar en paralelo, mover, etc. (desde la barra de herramientas del editor)?
el 14 de Mayo, 2018 4 votos - 2 resp
La lectura de la Feynman lectures en 2012
el 19 de Febrero, 2016 135 votos
Últimas Respuestas
- 0 votos
¿Cuáles son algunas pruebas del Teorema de Godel que son *esencialmente diferentes* de la prueba original?
el 5 de Agosto, 2011 0 votos - 5 votos
Lógica en matemáticas y filosofía
el 23 de Abril, 2011 5 votos - 4 votos
¿Sabe cualquier buen recurso introductorio al cálculo sequent?
el 1 de Julio, 2010 4 votos
Etiquetas favoritas
- 6 x matemáticas
- 4 x lo.logic
- 2 x big-list
- 2 x ho.history-overview
- 2 x lo.lógica
- 2 x proof-teoría
- 2 x metamathematics