Mathematical Linguistics [pdf] (opens in new tab)

(people.mokk.bme.hu)

18 pointsoctatoan10y ago1 comments

1 comments

This is intriguing, as the author seems to want to mix formal and informal systems describing mathematics.

I wonder how resources like http://www.mizar.org would impact his effort ?

j / k navigate · click thread line to collapse

(people.mokk.bme.hu)

18 pointsoctatoan10y ago1 comments

This is intriguing, as the author seems to want to mix formal and informal systems describing mathematics.

I wonder how resources like http://www.mizar.org would impact his effort ?

j / k navigate · click thread line to collapse