@idontcarreyou @canozanoguz Daha gerçekçi bir örnek vereyim. Gödel'in eksiklik teoremi niye "kesinlikle" doğru? Gödel'in kanıtı 1931'de dergide yayınladığında bunu, evet, bir "yaşlılar heyeti" onayladığı için doğru olduğuna mutabık olduk. Şu an doğru olduğ
Years ago, I calculated the de Bruijn factor of my Incompleteness proofs as 12 (based on counting lines). But just copying the text, compressing it and comparing with the compressed Isabelle proof gives only 4. https://t.co/yR5RRFrDw1
@burakkayaburak @MikeBenchCapon @archernikov @_Thrill_House_ Check out the abstract! https://t.co/TOmEpveQ36
@MikeBenchCapon @archernikov @_Thrill_House_ Here are some links: https://t.co/nvG6vHQijf https://t.co/z2IbfJMIRi An expert in proof verification can verify whether I am misunderstanding what is claimed here.
@DoctorCasado Check out the abstract! https://t.co/TOmEpveQ36
Nuestra capacidad de comprensión es muy limitada, manejamos lenguajes que usamos con precariedad. Si nos sacan de ellos nos perdemos. Como ejemplo este elegante artículo en lenguaje matemático: https://t.co/eMgg17bVEb
A Mechanised Proof of G\"odel's Incompleteness Theorems using Nominal Isabelle https://t.co/KiaRzMMhNS
RT @Jose_A_Alonso: A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle. ~ Lawrence C. Paulson. https://t.co/fbdnw9…
A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle. ~ Lawrence C. Paulson. https://t.co/fbdnw9F2OJ #ITP #IsabelleHOL #Logic #Math
L. Paulson, “A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle”, 2015: http://t.co/m478mrfwfx h/t @thompson_si
L. Paulson, “A Mechanised Proof of Gödel’s Incompleteness Theorems Using Nominal Isabelle”, 2015: http://t.co/m478mrfwfx h/t @thompson_si
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
Springer Linkをみると2013/9/29にReceived,2015/2/11にAcceptedとなっている。 http://t.co/ymJ2twxEf9 ちなみに今日はゲーデルの誕生日。 https://t.co/uODzOrQPwb
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ
http://t.co/oWd6umCdEk Isabelle の ML で回ってたけど,第二不完全性定理の mechanized proof ってこれが初めてなのか.(こんなことをしていないで仕事をしろ