https://www.quantamagazine.org/how-godels-incompleteness-theorems-work-20200714/
....which kinda implies that in the big picture things run out of precision pretty darn quick...to the point where most seemingly absolute proofs are reduced to wild-assed guesses in fairly short order ( assuming of course you are using analysis of any sort that relies on math...)...the problem that occurs when observations are reduced to theory which depends on the use of a logic type different from the observation...historically the difference between magic and scientific cosmologies ( and no, magic here doesn’t refer to hats and rabbits...one refers more to the name, and the other to the thing named...different logic types eh... )