Top Tweets for #formalsystem

over 5 years ago

There is a strong analogy between building provably correct software and building mathematics. Programs are proofs. https://t.co/3zsBElUCMJ #artificialintelligence #deeplearning #mathematics #formalsystem #proofassistant

almost 9 years ago

A Norwegian workshop on the challenge and the meaning of modelling living systems #Rosen #model #FormalSystem #NaturalSystem https://t.co/WKFkjq9HVZ

over 9 years ago

its that time of the year again when its time to play with hofstadter’s MIU-system: https://t.co/yanGo44otZ #miu #hofstadter #formalsystem

Last Seen Hashtags on Sotwe