sclv

@sclv.bsky.social

272 Followers 420 Following

"more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop

screenshot of a facebook post of a golden potato with 3.1m interactions
bag of roasted garlic oyster flavor lays potato chips
deniro, in “heat”
For Realizability has many faces, each of them turned towards different areas of Logic, Mathematics and Computer Science, and this proliferation shows no signs of diminishing in our days. Like a venomous carcinoma, Realizability stretches out its tentacles to ever more remote fields: Linear Logic, Complexity Theory and Rewrite Theory have already been infected. The theory of Subrecursive Hierarchies too. Everything connected to the lambda calculus is heavily engaged. Proof Theory is suffering. Intuitionism is dead.
logo for “shitposters union” local 69420, motto “never retreat, never delete”