Cells are machines, (our) minds are running on cells, therefore minds run on machines. It doesn't
have to be more complicated than that. Unless you are making an argument for supernatural influences. It's debatable whether minds
are machines, at least in a sense that satisfies us, but that's another subject.
> "Therefore the machine cannot produce the corresponding formula as being true. But we can see* that the Gödelian formula is true."*
Essentially, the other side's argument boils down to the idea that minds can reason in a way that machines cannot - they can intuitively look behind the Gödelian curtain so to speak.
However, this contest between "mind" and "machine" only works as long as you tie the machine's hands behind its back while letting the mind roam freely: a mind forced to operate within the same formal system would come to the same conclusion as the machine, and conversely there is no reason to assume that a machine allowed to apply intuitive reasoning would not come to the same realization as the mind.
This entire argument is a philosophical parlor trick that only works as long as you don't pay too close attention to the unequal restrictions imposed on the two participants.
> "Therefore the machine cannot produce the corresponding formula as being true. But we can see* that the Gödelian formula is true."*
Essentially, the other side's argument boils down to the idea that minds can reason in a way that machines cannot - they can intuitively look behind the Gödelian curtain so to speak.
However, this contest between "mind" and "machine" only works as long as you tie the machine's hands behind its back while letting the mind roam freely: a mind forced to operate within the same formal system would come to the same conclusion as the machine, and conversely there is no reason to assume that a machine allowed to apply intuitive reasoning would not come to the same realization as the mind.
This entire argument is a philosophical parlor trick that only works as long as you don't pay too close attention to the unequal restrictions imposed on the two participants.