<div dir="ltr">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?<div>
<br></div><div style>All I need to do is show that my model reduces to some basic physical implementation (with perhaps some allowances for infinity) and then I can promptly forget about that messy business and proceed to use my clean mathematical model.</div>
<div style><br></div><div style>The reason any model of computation exists is that it is easier to think about a problem in some terms than in others.  By showing how to transform one model to another you make it possible to choose exactly how you wish to solve a problem.</div>
<div style><br></div><div style>The reason we do not work directly in what are called "von Neumann machines" is that they are not convenient for all kinds of problems.  However we can build a compiler to translate anything to anything else so we I don't see why anybody would care.</div>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Apr 18, 2013 at 5:53 PM, Mark Janssen <span dir="ltr"><<a href="mailto:dreamingforward@gmail.com" target="_blank">dreamingforward@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">[ The Types Forum, <a href="http://lists.seas.upenn.edu/mailman/listinfo/types-list" target="_blank">http://lists.seas.upenn.edu/mailman/listinfo/types-list</a> ]<br>

<br>
</div><div class="im">On Mon, Apr 15, 2013 at 2:53 AM, Moez AbdelGawad <<a href="mailto:moezadel@outlook.com">moezadel@outlook.com</a>> wrote:<br>
>> I'm not quite sure I understand your question, but I'll give it a shot.<br>
>> :-)<br>
><br>
> I'm in this same camp too :)<br>
<br>
</div>I am very thankful for the references given by everyone.<br>
Unfortunately my library does not have the titles and it will be some<br>
time before I can acquire them.  I hope it not too intrusive to offer<br>
a few points that I've garnered from this conversation until I can<br>
study the history further.<br>
<br>
The main thing that I notice is that there is a heavy "bias" in<br>
academia towards mathematical models.  I understand that Turing<br>
Machines, for example, were originally abstract computational concepts<br>
before there was an implementation in hardware, so I have some<br>
sympathies with that view, yet, should not the "Science" of "Computer<br>
Science" concern itself with how to map these abstract computational<br>
concepts into actual computational hardware?  Otherwise, why not keep<br>
the field within mathematics and philosophy (where Logic traditionally<br>
has been)?   I find it remarkable, for example, that the simple<br>
continued application of And/Or/Not gates can perform all the<br>
computation that C.S. concerns itself with and these form the basis<br>
for computer science in my mind, along with Boolean logic.  (The<br>
implementation of digital logic into physical hardware is where C.S.<br>
stops and Engineering begins, I would argue.)<br>
<br>
But still, it seems that there are two ends, two poles, to the whole<br>
computer science enterprise that haven't been sufficiently *separated*<br>
so that they can be appreciated:  logic gates vs. logical "calculus"<br>
and symbols.   There is very little crossover as I can see.  Perhaps<br>
the problem is the common use of the Greek root "logikos"; in the<br>
former, it pertains to binary arithmetic, where in the latter, it<br>
retains it's original Greek pertaining to *speech* and symbols,<br>
"logos").  Further, one can notice that in the former, the progression<br>
has been towards more sophisticated Data Structures (hence the<br>
evolution towards Object-Orientation), where in the latter (I'm<br>
guessing, since it's not my area of expertise) the progression has<br>
been towards function sophistication (where recursion seems to be<br>
paramount).<br>
<br>
In any case, I look forward to diving into the books and references<br>
you've all offered so generously so that I can appreciate the field<br>
and its history better.<br>
<span class="HOEnZb"><font color="#888888"><br>
Mark Janssen<br>
Pacific Lutheran University<br>
Tacoma, Washington<br>
</font></span></blockquote></div><br></div>