Mathematics
HallaSurvivor's user avatar
HallaSurvivor's user avatar
HallaSurvivor's user avatar
HallaSurvivor
  • Member for 4 years, 6 months
  • Last seen this week
Profile Activity
Stats
35,718
reputation
200k
reached
816
answers
62
questions
Communities
View all
About

Chris Grossack

Math/Music. They/Them.

Badges
View all badges
4
gold badges
40
silver badges
81
bronze badges
Top tags
View all tags
534
Score
174
Posts
20
Posts %
429
Score
118
Posts
13
Posts %
338
Score
94
Posts
11
Posts %
323
Score
95
Posts
11
Posts %
206
Score
58
Posts
7
Posts %
189
Score
48
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
92
What is Lie Theory/ a Lie Group, simply?
Dec 9, 2020
answer
69
Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?
Jan 5, 2022
answer
42
Why is (co)homology useful and in which way?
Aug 25, 2021
answer
37
Orbit stabiliser theorem as an analogue to first isomorphism theorem
Sep 1
answer
33
Theorem which inspired Dennis Sullivan to switch to maths
Mar 25, 2022
answer
28
How can different models of set theory be constructed from the same set of axioms?
Sep 21
answer
25
Meaning of "holes" counted by homology groups
Sep 3, 2021
answer
24
How do I show that the sum of the reciprocals of perfect cubes is less than 3/2?
Apr 19
answer
18
Is there a rigorous definition of mathematical expressions that can distinguish them from their values?
Nov 22, 2022
answer
18
How many ways to have a perfect game of snake?
Jan 12, 2020
Top Meta posts
1
0
7
What to do about repeated self-vandalization?
Top network posts
View all network posts
15
Proof Assistants for Vim Users
12
Applications of Robinson's consistency theorem in algebra?

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.