Lecturas compartidas el 13 de marzo de 2024
Lecturas de razonamiento automático, lógica matemática y computación
Buenos días
Las lecturas compartidas en Mastodon el 13 de marzo de 2024 son
Automating proofs (Math struggles with the usability of formal proofs). ~ Chris Edwards (2016). #ITP #Math
Propositions as types (Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute). ~ Philip Wadler (2015). #Logic #Math #CompSci
The simplest math problem could be unsolvable (The Collatz conjecture has plagued mathematicians for decades—so much so that professors warn their students away from it). ~ Manon Bischoff. #Math
Two undecidable variants of Collatz’s problems. ~ Eero Lehtonen (2008). #Math #CompSci
También están en GitHub.
Saludos, José A.
"Cuando no se encuentra descanso en uno mismo, es inútil buscarlo en otra parte." ~ François de La Rochefoucauld (1613-1680).
