HackerTrans
TopNewTrendsCommentsPastAskShowJobs

perthmad

no profile record

comments

perthmad
·anno scorso·discuss
This integer only exists if you assume classical logic. Otherwise, there is no such integer a priori, and actually there is none in general.
perthmad
·anno scorso·discuss
It's a satire of a typical kind of paper from logic, in particular modal logic. Jean-Yves Girard has been very vocal against these academic papermills where the authors consider ad-hoc meaningless logical systems. For a more in-depth critique of semantics, you can also read the broccoli logic paper: https://girard.perso.math.cnrs.fr/meaning1.pdf
perthmad
·anno scorso·discuss
It reminds me of this weird theory about proto-Castillan. According to some scholars, the change from initial /f/ in Latin to /h/ in Spanish could have been caused by the bad teeth of the speakers of lore, a phenomenon ultimately due to the water quality in some areas.

https://en.wikipedia.org/wiki/Phonetic_change_%22f_%E2%86%92...

Needless to say I've always found this hypothesis doesn't really hold water...