gentzen said:
The debate starts at 36:20 and gets stopped at 44:33
Fantastic example of a debate between a hardware guy (Tim) and a software guy (Lev) !
The thing is even when beable are precisely defined, as computer-circuit and computer-users are, some software guy cannot care less. It would not be an issue if the software guy did not made grand (hand-wavy) claims about the
result they claim which are factually incorrect.
But I think this thread is more about elucidating the importance of ontologies.
The software guy
also has an ontology, and his own high-level beable (like quine) could even be
fun as hell. So this is a result of some sort. But that ontology is not the claimed one anymore. It is computing "science", not computer science.
Again, when taken to task, by pinpointing that the result is not great or even blatantly false, then the software guy will say that it can also
represent "hardware stuff", even "user stuff". And this is mostly true. But then when the hardware guy explain that this
does not need a explaining, because
it exists first, and actually retrofitting the hardware schematics into the software space just change the ontological level (37:40)
jbergman said:
The problem with this analogy is there is always another layer. For instance, the hardware guy might not know the physics behind the components he uses.
Actually I think the analogy precisely address that issue.
Claims about ontologies, are not about "being first" (instead of derivative/emergent), or being "more grounded" (instead of philosophical). Those claims are
precisely there to stop the infinite regress at a level where "reality" gets
asserted.
Tim Maudling retry explaining it at 43:48, and the response is literally "you construct..."
No, you don't "construct". Nor does the hardware guy need to know about quantum fields. His hardware-ontology precisely define that its domain stop at some timing / frequency response/etc, even hardware-bugs!!! Gravity is useless to him, as well as QM. A bit a electronics and biology will do.
As usual, despite the facts observed in
laboratory, that show that
nature (yes that menial level of ontology) deal in non-local correlation, and probability conservation... this thread will inevitably turn into philosophical rambling about "fundamental randomness", and micro-causality.
Any discipline must be rooted in something, and science without some ontology is a chicken without head.