Notices by xanathar (xanathar@hachyderm.io)

Embed this notice
xanathar (xanathar@hachyderm.io)'s status on Thursday, 27-Jun-2024 14:47:08 JST xanathar
in reply to
@ShredderFeeder @DM_Ronin @catsalad I wish the OOM killer didn't zap my entire session with an unsaved document no less than 5 days ago, but it did. Every rose has its thorns.

In conversation about 4 months ago from hachyderm.io permalink
Embed this notice
xanathar (xanathar@hachyderm.io)'s status on Friday, 15-Mar-2024 19:28:33 JST xanathar
in reply to
- χle Ormsby
@MotivicKyle https://en.wikipedia.org/wiki/Alonzo_Church
In conversation about 8 months ago from hachyderm.io permalink
Attachments
1. Domain not in remote thumbnail source whitelist: upload.wikimedia.org
  
  Alonzo Church
  
  Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem ("decision problem"), the Frege–Church ontology, and the Church–Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science. Life Alonzo Church was born on June 14, 1903, in Washington, D.C., where his father, Samuel Robbins Church, was a justice of the peace and the judge of the Municipal Court for the District of Columbia. He was the grandson of Alonzo Webster Church (1829–1909), United States Senate Librarian from 1881 to 1901, and great-grandson of Alonzo Church, a professor of Mathematics and Astronomy and 6th President of the University of Georgia. As a young boy, Church was partially blinded by an air gun accident. The family later moved to Virginia after his father lost his position at the university because of failing...

Public

Notices by xanathar (xanathar@hachyderm.io)

User actions

Following 0

Followers 0

Groups 0

Statistics

Feeds