Computers are a real object that have to deal with the halting problems and other infinities in a bound manner to do useful things for us.
Computers are a real object that have to deal with the halting problems and other infinities in a bound manner to do useful things for us.