Re:some stuff (Score 1)

Did you really study computer science? Did you learn about things like the loop-invariant theorem? Did you ever even study the theory of algorithms or finite-state machines? I you did you know that you actually can prove algorithm correctness as well as you can prove anything in mathematics. Bring up Godel if you like but you're bordering crackpot if you actually think that finite mathematics is inconsistent.

Also, have you ever worked on truly critical software projects? Think about things like air traffic control or heart monitors. Consider writing code for the military where you must comment every line of code and it's all reviewed by multiple people.

Computer software is written for deterministic, finite-state machines. It's entirely possible to write software that does not have bugs. It's just very difficult and not often worth the effort.