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

HK

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

11 years ago

6 points

32.

Conversations on Mathematics

golem.ph.utexas.edu

4 years ago

5 points

33.

The Inconsistency of Arithmetic

golem.ph.utexas.edu

15 years ago

5 points

34.

Is Hurwitz's theorem on composition algebras false?

golem.ph.utexas.edu

6 years ago

5 points

35.

A Tiny Taste of the History of Mechanics

golem.ph.utexas.edu

18 years ago

4 points

36.

The Pi Calculus

golem.ph.utexas.edu

13 years ago

4 points

37.

Cognition, Convexity, and Category Theory (2018)

golem.ph.utexas.edu

3 years ago

4 points

38.

Applied Category Theory Meeting at UCR

golem.ph.utexas.edu

7 years ago

4 points

39.

The Duties of a Mathematician

golem.ph.utexas.edu

8 years ago

4 points

40.

Fetishizing p-Values

golem.ph.utexas.edu

16 years ago

4 points

41.

Basic Category Theory

golem.ph.utexas.edu

9 years ago

4 points

42.

In Praise of Dependent Types

golem.ph.utexas.edu

16 years ago

4 points

43.

Neutrino Dark Matter

golem.ph.utexas.edu

4 years ago

3 points

44.

Light mills (2008)

golem.ph.utexas.edu

9 years ago

3 points

45.

An Operational Semantics of Simply-Typed Lambda Calculus with String Diagrams

golem.ph.utexas.edu

2 years ago

3 points

46.

Mathematical Origins of Western Musical Scales

golem.ph.utexas.edu

13 years ago

3 points

47.

How to Count N-Ary Trees

golem.ph.utexas.edu

a year ago

3 points

48.

The Monads Hurt My Head – But Not Anymore (2009)

golem.ph.utexas.edu

2 years ago

3 points

49.

Cloning in Classical Mechanics

golem.ph.utexas.edu

3 years ago

3 points

50.

Learning Computer Science with Categories

golem.ph.utexas.edu

4 years ago

3 points

51.

Structure vs. Observation

golem.ph.utexas.edu

5 years ago

3 points

52.

Jaynes on Clever Tricks

golem.ph.utexas.edu

7 years ago

3 points

53.

Greg Egan on giving up caffeine

golem.ph.utexas.edu

9 years ago

3 points

54.

Solèr’s Theorem

golem.ph.utexas.edu

5 years ago

2 points

55.

Physics, topology, logic and computation: a Rosetta Stone

golem.ph.utexas.edu

18 years ago

2 points

56.

23 Mathematical Challenges for the Future

golem.ph.utexas.edu

18 years ago

2 points

57.

Grothendieck’s Activism and What It Says About the World

golem.ph.utexas.edu

12 years ago

2 points

58.

A Packing Pessimization Problem

golem.ph.utexas.edu

12 years ago

2 points

59.

Category Theorists in AI

golem.ph.utexas.edu

a year ago

2 points

60.

Dimensional Analysis in Algebra and Geometry

golem.ph.utexas.edu

2 years ago

2 points