Mirco Mannucci

2,029

Reputation

2289 views

Registered User

Name	Mirco Mannucci
Member for	2 years
Seen	May 8 at 15:20
Website	cs.gmu.edu/~mmannucc
Location	Washington DC
Age

I do not believe in natural numbers, yet I reject no math, not even the most outrageously large cardinals.

stats recent reputation favorites

votes newest views recent

52

66

votes

9

answers

6k

views

Is there an introduction to probability theory from a structuralist/categorical perspective?

ct.category-theory pr.probability reference-request

sep 23 at 15:05 Marco Avellaneda 1

35

47

votes

14

answers

4k

views

When are two proofs of the same theorem really different proofs

lo.logic proof-theory

jan 11 at 22:40 jessealama 86●3

26

45

votes

6

answers

11k

views

What are Jacob Lurie’s key insights?

higher-category-theory ho.history-overview

oct 3 10 at 22:55 Mike Shulman 17.2k●20●70

22

43

votes

7

answers

3k

views

Are higher categories useful?

higher-category-theory big-list

dec 11 11 at 15:42 Dmitri Pavlov 7,058●1●13●44

28

38

votes

6

answers

2k

views

What are surprising examples of Model Categories?

model-categories homotopy-theory kt.k-theory-homology

mar 12 12 at 22:50 David White 4,860●1●20●27

24

36

votes

11

answers

6k

views

Logic in mathematics and philosophy

lo.logic big-picture math-philosophy ho.history-overview

jun 15 at 7:39 Gil Kalai 10.7k●6●80●144

19

35

votes

7

answers

2k

views

How would one even begin to try to prove that a simple number-theoretic statement is undecidable?

peano-axioms nt.number-theory lo.logic set-theory

jun 15 10 at 4:59 Pierre-Yves Gaillard 543●2●10●16

26

33

votes

5

answers

3k

views

Is there a high-concept explanation for why “simplicial” leads to “homotopy-theoretic”?

simplicial-stuff

mar 20 11 at 18:35 Jonathan Chiche 1,411●1●7●16

7

32

votes

3

answers

1k

views

Inconsistent theory with long contradiction

lo.logic

jun 8 11 at 17:39 Mirco Mannucci 2,029●7●18

16

29

votes

7

answers

3k

views

Succinctly naming big numbers: ZFC versus Busy-Beaver

lo.logic computability-theory set-theory

nov 29 10 at 10:01 none 39●1

29

28

votes

6

answers

3k

views

What does “quantization is not a functor” really mean?

qa.quantum-algebra ct.category-theory

feb 27 10 at 16:41 David Jordan 4,080●7●23

6

28

votes

3

answers

1k

views

The set-theoretic multiverse as a (bi)category

ct.category-theory set-theory lo.logic multiverse-of-sets

jul 21 at 20:59 Mirco Mannucci 2,029●7●18

18

27

votes

3

answers

2k

views

Quantum mechanics formalism and C*-algebras

mp.mathematical-physics oa.operator-algebras quantum-mechanics

oct 24 at 10:30 Tim van Beek 1,001●3●15

19

25

votes

5

answers

1k

views

Clifford algebra as an adjunction?

ct.category-theory clifford-algebras

jul 3 at 5:34 Joe Hannon 332●1●8

21

24

votes

9

answers

3k

views

Why is the Laplacian ubiquitous?

ca.analysis-and-odes geometry

aug 19 at 1:20 Marc Chamberland 147●5