Live data from Hacker News

Viewing profile — Burner7799

Burner7799

HN member
Joined
Sat, May 21, 2022, 12:14 PM UTC
HN karma
4
Public activity
3 items

About Burner7799

No profile information was provided.

Recent public activity

  1. comment
    Comment #31457385

    Surely that is the best definition possible? Defining is what humans do. To ask for a better definition of “defining” seems like a dead end question. Perhaps asking why humans do w…

  2. comment
    Comment #31457214

    What evidence would convince you that mathematics is empirical? If your argument was a tautology then what’s the point? Would you consider interactive theorem proving to be empiric…

  3. comment
    Comment #31457194

    He is trying to erase the distinction when talking about mathematics specifically because it leads you to question your own biases. Mathematics is neither liberal arts nor natural …