#OnThisDay Birth Anniversary of Kurt Gödel (1906) - Considered to be one of the most significant #Logicians in history.

Happy Birthday Penélope Cruz (1974) - first Spanish actress to win an #AcademyAward, as well as the first Spanish actress to receive a star on the Hollywood Walk of Fame.

Today is International Commemoration Day for Dead and Injured.

https://knowledgezone.co.in/news

@ilovecomputers lean is also the name of one of the most advanced higher order logic, dependent type theory proofer languages, for you #logicians out there