#calculemus — Public Fediverse posts

Readings shared November 29, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/29-readings_shared_11-29-24 #ITP #Lean4 #IsabelleHOL #Logic #Math #Calculemus #MachineLearning #LLMs #AIMO #AlphaProof #AlphaGeometry #Haskell #FunctionalProgramming #Programming #FormalVerification #Dafny

Readings shared September 20, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/20-readings_shared_09-20-24 #ITP #Lean4 #IsabelleHOL #Math #Calculemus #ATP #Prover9 #Mace4

Readings shared September 7, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/07-readings_shared_09-07-24 #ITP #Lean4 #IsabelleHOL #Maude #ATP #Prover9 #Math #Calculemus

Readings shared September 2, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/02-readings_shared_09-02-24 #ITP #Lean4 #LeanProver #IsabelleHOL #Coq #Maude #Math #Calculemus #FunctionalProgramming

Readings shared August 31, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/31-readings_shared_08-31-24 #ITP #Lean4 #IsabelleHOL #Theorema #Coq #Agda #Math #HoTT #Calculemus #PhDThesis

“The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right.”
Quoting Leibniz for last week's #ise2023 lecture with a brief #HistoryofAI
Slides: https://drive.google.com/file/d/18_xPnJDM04I7pDihMMhoFIuDshfUKMk9/view?usp=sharing

#ai #artificialintelligence #lecture @fizise @KIT_Karlsruhe @ebrahim #calculemus #logics #leibniz #philosophy