Hacker News new | past | comments | ask | show | jobs | submit login

Well, if we're allowed to just redefine the terms, you can make and prove whatever claim you wish, but its unsatisfying and ultimately pointless. I'm not sure why you think the above (which, I'm sorry, parses as gibberish for me) is useful given my assertion that mathematics is not the same species of thing as human language, as opposed to whatever the thing you're describing above is.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: