Blogs sobre: Indecidible
Blog Destacado
Sobre proposiciones indecidibles de los "Principa vite" y sistemas afines.
Primer teorema de indecibilidad: Si el conjunto de axiomas de una teoria es coherente, existen teoremas que no pueden ni probar ni refutar. Segundo teorema: No existe ningun proceso constructivo capaz… más →
La vida según Luis Bourbaki
Sobre proposiciones indecidibles de los "Principa vite" y sistemas afines.
luisbourbaki wrote 5 months ago: Primer teorema de indecibilidad: Si el conjunto de axiomas de una teoria es coherente, existen teore … more →
Have your say. Start a blog.
See our free features →
An 
Ruckus
