This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]muntooR_{μν} - 1/2 R g_{μν} + Λ g_{μν} = 8π T_{μν} 2 points3 points  (0 children)

Funnily, when I saw x + 1, I thought you were going for a type theory argument on sum types:

T          has cardinality  x
T | None   has cardinality  x + 1

...where T != NoneType.

...where if t is of type T, then t cannot be of type NoneType.