Warning, this is a bit of a rant.
That paragraph from Wikipedia seems to be confused. It gives the fourth
paradigm as "declarative" but then says "first order logic for logic
programming". It seems somebody did an incomplete replacement of
"declarative" for "logic". Wikipedia is often schizophr
I don't quite think I understand what you are saying. Are you saying that
mathematical models are not a good foundation for computer science because
computers are really made out of electronic gates?
All I need to do is show that my model reduces to some basic physical
implementation (with perhap
