Search found 2 matches
- Fri Jun 12, 2026 5:50 pm
- Forum: Mathematics
- Topic: The difference between a circle and a square.
- Replies: 2
- Views: 2063
Re: The difference between a circle and a square.
It doesn't have a name (that the average mathematician would recognize as referring to that particular constant). In your paper, you could just call it something like \eta and refer to it as \eta instead of typing \sqrt{2} - 1 all the time, if you want.
- Fri Jun 12, 2026 9:53 am
- Forum: Mathematics
- Topic: Calculus of Inductive Constructions
- Replies: 7
- Views: 10493
Re: Calculus of Inductive Constructions
I never formally studied Category Theory but it was all the rage in my Logic class and felt like the inevitable next step - would you say with a decade out of full time instruction there's a best way to pick it up again or build up to it?
One of the difficulties I had learning category theory ...