[E.T.]

Wtedy "prawdziwą" Matematyką staje się... matematyka stosowana. Przypomina mi się esej Vladimira Arnolda o nauczaniu matematyki, taki fragment:

Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.

Cóż za obrzydliwy pogląd

Mnie to przypomina poglądy Quine'a z "Dwóch dogmatów epiryzmu". Wbrew pozorom nie takie głupie.

Czy w ogóle można mówić o zawieraniu? Te teorie są niekompatybilne. Np. grawitacja u Newtona to inny zwierz, niż u Einsteina, łączy je głównie wspólna nazwa. Zawieranie się odbywa tylko w warstwie predictive power.

Dokładnie tak.

Obawiam się, że jest. Kolejne wcielenie problemu indukcji - kiedy ciąg obserwacji staje się "zasadą"? Nie jest to ściśle ustalone w żadnym nietrywialnym sensie i mówienie o matematyczności Wszechświata, czy może nawet Matematyczności, służy tylko temu, żeby się lepiej poczuć, ale znaczy niewiele.

A w tych kategoriach (problemu indukcji) nie próbowałem myśleć o sprawie. A powinienem był.