T.P. Padlet & Poster, Grupo: Borré, Galland by Juan Martín Borre https://padlet.com/JuanBorre/4tr5lac7cn8o T.P. Fundamentos de la matemática & Computación - Profesorado en matemáticas - I.S.F.D. Nro.6 - 4to año. en-us 2019-07-12 18:21:19 UTC 2026-02-25 10:54:07 UTC hello@padlet.com https://imgglb.padletcdn.com/v13/image?t=g_auto&url=https%3A%2F%2Fpadlet.net%2Ficons%2Fpng%2F1f4da.png El teorema de incompletitud de Gödel. JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384859796 2019-09-16 18:05:19 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384859796 Titulo poster JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384860722 ¡Tus ideas son indemostrables!]]> 2019-09-16 18:06:43 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384860722 Imagen modificada de Gödel con Frege JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384862316 2019-09-16 18:08:57 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384862316 Color de fondo para poster JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384868759 2019-09-16 18:17:01 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384868759 Fondo decorado con papel y álgebra JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384870271 2019-09-16 18:19:08 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384870271 Texto principal JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384871769 En todo sistema axiomático, que tenga por lo menos la complejidad de la aritmética, hay formulas que no pueden probarse o refutarse mediante deducciones formales basadas en los axiomas del sistema.]]> 2019-09-16 18:21:01 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384871769 Definición de axiomas JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384873430 Los axiomas son enunciados que tomamos como ciertos. ]]> 2019-09-16 18:23:00 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384873430 Frase centro JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384874127 O la aritmética es consistente, o la aritmética es incompleta]]> 2019-09-16 18:23:50 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384874127 Definición sistema incompleto JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384875517 Un sistema axiomático es incompleto si hay algún enunciado que el sistema no puede ni demostrar ni refutar.]]> 2019-09-16 18:25:32 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384875517 Definición de consistencia JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384877549 Un sistema axiomático es consistente si no puede probarse a partir de los axiomas una contradicción, es decir, un enunciado y su negación.]]> 2019-09-16 18:27:46 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384877549 Frase Kurt Gödel JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384878132 «Cuanto más pienso en el lenguaje, más me sorprende que la gente se entienda».]]> 2019-09-16 18:28:39 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384878132 Frase Gottlob Frege JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384878818 «Cada enunciado que tenemos por verdadero, es conocido o bien por medio de la experiencia o en razón de su significado». ]]> 2019-09-16 18:29:37 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384878818 Poster JuanBorre https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384882121 2019-09-16 18:34:18 UTC https://padlet.com/JuanBorre/4tr5lac7cn8o/wish/384882121