As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
D Left Adjoint to U's user avatar
D Left Adjoint to U's user avatar
D Left Adjoint to U's user avatar
D Left Adjoint to U
  • Member for 9 years, 5 months
  • Last seen more than 2 years ago
Profile Activity
Stats
473
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Amateur mathematician. Software developer.

“[Mathematics is] only real when shared” ― Jon Krakauer, Into the Wild

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
63
Is it not effective to learn math top-down?
44
What is integration by parts, really?
37
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
24
Every natural number is covered by consecutive numbers that sum to a prime power.
19
Are all n-ary operators simply compositions of binary operators?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.