It's a symptom of success.  Physics has done a good job of modeling everything within the scope of experiment and observation.  So now extending theories means going beyond what's testable; i.e. speculation.

Brent

On 4/29/2020 1:10 AM, Philip Thrift wrote:


Over the past few decades there is an explosion of people who think the "mathiest" math will help in advancing physics.

This is a typical example:

*Modern Physics formalized in Modal Homotopy Type Theory*
https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory

There are many other examples based on many other areas of advanced mathematics.

None of this stuff helps in understanding nature - supposedly what physics is about, or is any way useful in using physics in real applications (technology).

It can all be interesting pure mathematics, but actually worthless.


Actually it's worse than worthless, It suggests nature (or rather, the best code of nature we have so far) is this stuff.

@philipthrift


--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com <mailto:everything-list+unsubscr...@googlegroups.com>. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/1b47e7ad-7184-41de-a35d-dda52fa865e5%40googlegroups.com <https://groups.google.com/d/msgid/everything-list/1b47e7ad-7184-41de-a35d-dda52fa865e5%40googlegroups.com?utm_medium=email&utm_source=footer>.

--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/everything-list/837b075c-73f4-a62c-ff5c-b2e822e42bdc%40verizon.net.

Reply via email to