Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
housecarpenter
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
16 ms
·
121.
▲
by
housecarpenter
7y ago
A proof of a statement A may be valid in one formal system X but not capable of being written down in another formal system Y (and more strongly, there may be no proof at all that can be written down in Y that proves A or not-A, even if the
122.
▲
by
housecarpenter
7y ago
Proto-Indo-European *dn̥ǵʰwéh₂s 'tongue' was feminine, hence why all the languages mentioned in this subthread (except Hebrew) have the word for 'tongue' feminine.
123.
▲
by
housecarpenter
7y ago
The consonants are the same, but whether the vowels are the same depends on your accent. In most British accents the vowel in 'lox' is fairly distinct from that in German 'lachs'. (Or I should probably say 'would be