There may remain theorems whose confirmation is technologically infeasible; thes can be assigned to the category of "harmless." Theorems for which confirmation is logically impossible should be discarded as meaningless.

- Foster Morrison, The Art of Modeling Dynamic Systems (2008), p. 19





Read the feed: