Turing's original formalization and subsequent Church-Turing thesis demonstrate that abstraction from physical substrate is methodologically legitimate and theoretically productive.

?Rate how convincing each reason is below to see the overall strength.

No one has weighed in yet. Be the first to share reasons for or against this statement.

Alan Turing(the philosopher/scientist being referenced): A British mathematician who pioneered computer science and artificial intelligence; he's famous for asking whether machines can think.
Church-Turing thesis(Presented as a thesis about the upper bound of computational power, not a proven fact.): The thesis that no computational system stronger than the class of Turing machines exists.
Formalization(describing what Frege did with existence): The process of taking an idea and expressing it precisely using logical symbols and strict rules, like translating messy everyday language into mathematical logic.
Methodologically legitimate(describing whether the abstraction is a proper approach): Acceptable and justified as a valid way of studying or investigating something; it follows reasonable rules for doing research or analysis.

Based on where you are in your exploration