Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
voxl
on Oct 27, 2020
|
parent
|
context
|
favorite
| on:
Homotopy Type Theory (2012) [pdf]
Your first point is hysterical considering we as computer scientists use many many different programming languages.
Nah the math people are fine with assembly, even though they don't actually use it in their work.
boyobo
on Oct 27, 2020
[–]
That's a flawed analogy. Mathematicians do use 'higher level languages', that's precisely why most of them don't care about HoTT vs set theory. Just like a web dev usually does not care about the instruction set of the processor.
voxl
on Oct 27, 2020
|
parent
[–]
Its not flawed because the correct analogy is: pen and paper Turing machines versus Python.
boyobo
on Oct 28, 2020
|
root
|
parent
[–]
Now I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?
zrkrlc
on Oct 28, 2020
|
root
|
parent
[–]
Nitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Nah the math people are fine with assembly, even though they don't actually use it in their work.