Conversation

Notices

1. spectrumGirl (spectrumgirl@gnusocial.net)'s status on Friday, 26-Jul-2019 18:07:00 UTC spectrumGirl
   Si es imposible demostrar si la afirmación indemostrable es cierta o no utilizando los axiomas, quiere decir que los axiomas son o incoherentes o están incompletos, dado que las matemáticas no pueden ser coherentes y completas al mismo tiempo.
   • Moribundo Insurgente repeated this.
   • Moribundo Insurgente (demoakracia@gnusocial.cc)'s status on Friday, 26-Jul-2019 20:43:03 UTC Moribundo Insurgente

     in reply to
     @spectrumgirl Me he quedado en "si es imposible demostrar", Jajajajaja.
     spectrumGirl likes this.
   • spectrumGirl (spectrumgirl@gnusocial.net)'s status on Sunday, 28-Jul-2019 19:34:31 UTC spectrumGirl

     in reply to

     • DalmeGNU
     • Moribundo Insurgente
     @demoakracia jejeje hay cosas que tenemos que leer varias veces, yo la primera. La idea iba un poco con respecto al teorema de la incompletitud https://es.m.wikipedia.org/wiki/Teoremas_de_incompletitud_de_G%C3%B6del también invoco a @dalme que sé que es amante de estas cosas ;)
   • DalmeGNU (dalme@gnusocial.cc)'s status on Monday, 29-Jul-2019 12:02:39 UTC DalmeGNU

     in reply to

     • Moribundo Insurgente
     @spectrumgirl @demoakracia La verdad es que de esto no sé nada. Si no recuerdo mal es uno de los temas que trata el libro "Gödel, Escher, Bach" que tengo pensado leer (se me acumula la lectura xD)
     spectrumGirl repeated this.
   • DalmeGNU (dalme@gnusocial.cc)'s status on Monday, 29-Jul-2019 12:05:21 UTC DalmeGNU

     in reply to

     • DalmeGNU
     • Moribundo Insurgente
     @spectrumgirl @demoakracia Es todo un tocho (912 páginas) aunque es un libro muy conocido. https://es.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach:_un_Eterno_y_Gr%C3%A1cil_Bucle
     spectrumGirl repeated this.
   • DalmeGNU (dalme@gnusocial.cc)'s status on Monday, 29-Jul-2019 20:43:32 UTC DalmeGNU

     • DalmeGNU
     • Moribundo Insurgente
     • Adrián Arroyo Calle
     @spectrumgirl @demoakracia @aarroyoc Pongo un ejemplo (y acabo): Los axiomas de Peano. Hablando pronto y mal estos axiomas definen los números naturales y sus características más fundamentales (Más información aquí: https://es.wikipedia.org/wiki/Axiomas_de_Peano#Los_axiomas) y estos números a su vez definen los demás (insisto en que estoy simplificando). Estos axiomas los consideramos ciertos (por eso son axiomas), pero es que si no sería un tanto difícil hacer absolutamente nada, ya que no tendríamos ni siquiera números naturales (ni mucho menos podríamos utilizar que son infinitos). Renunciando a estos axiomas nuestra única opción es demostrarlos (entonces serían teoremas). Se puede intentar. Se puede hacer de hecho. Pero más pronto o más tarde habrá que crear algún axioma para poder hacerlo.
     spectrumGirl repeated this.
   • spectrumGirl (spectrumgirl@gnusocial.net)'s status on Tuesday, 30-Jul-2019 18:54:51 UTC spectrumGirl

     in reply to

     • DalmeGNU
     • Moribundo Insurgente
     @dalme @demoakracia interesante cuanto menos
   • spectrumGirl (spectrumgirl@gnusocial.net)'s status on Tuesday, 30-Jul-2019 19:48:50 UTC spectrumGirl

     • Psèudolus
     • DalmeGNU
     • Moribundo Insurgente
     • Adrián Arroyo Calle
     @giorgiograppa @dalme @demoakracia @aarroyoc no entiendo (?)