Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
metashurick
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
metashurick
15y ago
You actually do not have to remove any axioms from Peano arithmetic to prove that a model of PA with such a 'bleem' exists. It is a straightforward consequence of the compactness theorem: just enrich PA with a new constant c and an infinite
2.
▲
by
metashurick
15y ago
I wonder why the depth fail shadow rendering algorithm had been explicitly excluded from the open source release. It's been around for years now, after all.