Skip to main content
Chris Grossack's user avatar
Chris Grossack's user avatar
Chris Grossack's user avatar
Chris Grossack
  • Member for 5 years, 3 months
  • Last seen this week
94 votes
Accepted

What is Lie Theory/ a Lie Group, simply?

71 votes

Under the Curry-Howard correspondence or loosely "proofs-as-programs", do we also have "programs-as-proofs" and what would some arb. program prove?

47 votes
Accepted

Why is (co)homology useful and in which way?

39 votes
Accepted

Orbit stabiliser theorem as an analogue to first isomorphism theorem

33 votes
Accepted

Theorem which inspired Dennis Sullivan to switch to maths

30 votes

How can different models of set theory be constructed from the same set of axioms?

26 votes
Accepted

How is GNFS the best factoring algorithm when its time complexity exceeds brute-force?

26 votes

Meaning of "holes" counted by homology groups

25 votes

How do I show that the sum of the reciprocals of perfect cubes is less than 3/2?

20 votes
Accepted

Is there a rigorous definition of mathematical expressions that can distinguish them from their values?

19 votes

What is a most elementary Coalgebra?

18 votes

How many ways to have a perfect game of snake?

18 votes
Accepted

Proving there is only one proof?

18 votes
Accepted

Does this definition of an epimorphism work?

16 votes
Accepted

Is the metric topology determined by its convergent sequences?

16 votes
Accepted

Are theorems in mathematics that have only been proved by contradiction applicable anywhere outside of mathematics?

16 votes
Accepted

Does the Curry-Howard correspondence imply decidibility of natural deduction?

15 votes
Accepted

Understanding Layer Cake Representation

15 votes

Applications of intuitionistic logic

14 votes
Accepted

How do two conjugate elements of a group have the same order?

13 votes
Accepted

Non-Turing Recognisable Languages

12 votes
Accepted

Connections between topology and combinatorics

12 votes

What does Big O actually tell you?

12 votes
Accepted

Is it OK if a proposition contains $\frac{1}{0}$?

11 votes
Accepted

Is there ever a reason not to take the completion of a measure space?

11 votes

Consequences for mathematics of human writing conventions

11 votes

Why do we not avoid the phrase "if we assume AC " and take it as granted?

11 votes

Folland: Why is the product measure well-defined?

11 votes

Applications of intuitionistic logic in programming

11 votes

Module and group ring: definitions and notations

1
2 3 4 5
29