Search: golem.ph.utexas.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

From Set Theory To Type Theory (2013) (golem.ph.utexas.edu)

6 points

11 years ago

32.

Conversations on Mathematics (golem.ph.utexas.edu)

5 points

4 years ago

33.

The Inconsistency of Arithmetic (golem.ph.utexas.edu)

5 points

15 years ago

34.

Is Hurwitz's theorem on composition algebras false? (golem.ph.utexas.edu)

5 points

6 years ago

35.

A Tiny Taste of the History of Mechanics (golem.ph.utexas.edu)

4 points

18 years ago

36.

The Pi Calculus (golem.ph.utexas.edu)

4 points

13 years ago

37.

Cognition, Convexity, and Category Theory (2018) (golem.ph.utexas.edu)

4 points

3 years ago

38.

Applied Category Theory Meeting at UCR (golem.ph.utexas.edu)

4 points

7 years ago

39.

The Duties of a Mathematician (golem.ph.utexas.edu)

4 points

8 years ago

40.

Fetishizing p-Values (golem.ph.utexas.edu)

4 points

16 years ago

41.

Basic Category Theory (golem.ph.utexas.edu)

4 points

9 years ago

42.

In Praise of Dependent Types (golem.ph.utexas.edu)

4 points

16 years ago

43.

Neutrino Dark Matter (golem.ph.utexas.edu)

3 points

3 years ago

44.

Light mills (2008) (golem.ph.utexas.edu)

3 points

9 years ago

45.

An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams (golem.ph.utexas.edu)

3 points

2 years ago

46.

Mathematical Origins of Western Musical Scales (golem.ph.utexas.edu)

3 points

13 years ago

47.

How to Count N-Ary Trees (golem.ph.utexas.edu)

3 points

10 months ago

48.

The Monads Hurt My Head – But Not Anymore (2009) (golem.ph.utexas.edu)

3 points

2 years ago

49.

Cloning in Classical Mechanics (golem.ph.utexas.edu)

3 points

3 years ago

50.

Learning Computer Science with Categories (golem.ph.utexas.edu)

3 points

4 years ago

51.

Structure vs. Observation (golem.ph.utexas.edu)

3 points

5 years ago

52.

Jaynes on Clever Tricks (golem.ph.utexas.edu)

3 points

7 years ago

53.

Greg Egan on giving up caffeine (golem.ph.utexas.edu)

3 points

9 years ago

54.

Solèr’s Theorem (golem.ph.utexas.edu)

2 points

5 years ago

55.

Physics, topology, logic and computation: a Rosetta Stone (golem.ph.utexas.edu)

2 points

18 years ago

56.

23 Mathematical Challenges for the Future (golem.ph.utexas.edu)

2 points

18 years ago

57.

Grothendieck’s Activism and What It Says About the World (golem.ph.utexas.edu)

2 points

12 years ago

58.

A Packing Pessimization Problem (golem.ph.utexas.edu)

2 points

12 years ago

59.

Category Theorists in AI (golem.ph.utexas.edu)

2 points

a year ago

60.

Dimensional Analysis in Algebra and Geometry (golem.ph.utexas.edu)

2 points

2 years ago