The formalist school of math philosophy thinks that meaningful questions have to be phrased in terms of finite computational processes.
Does holding the view that meaningful questions have to be phrased in terms of finite computational processes imply the other tenets of formalism?
Does holding the view that meaningful questions have to be phrased in terms of finite computational processes imply the other tenets of formalism?