我要的可不止是電晶體計算機。
看著笑意吟吟的華羅庚教授，張謙之心裡無聲自語。
電晶體、積體電路、晶片，這是一條已經驗證過的發展道路。
此外還有超級計算機、量子計算機。
這些，我通通都要！
心裡這般想著，張謙之又清楚地知道，想要在半導體和計算機領域彎道超車，不僅要推動硬體的狂飆突進，還要推動軟體的超前發展。
而計算機的軟體，離不開數學的支援。
正好，華羅庚教授是中國數學會的理事長、中科院數學研究所的所長、清華大學數學系主任。
而且其研究領域極其開闊，不僅精通解析數論，還在矩陣幾何學、典型群、自守函式論、多複變函式論、偏微分方程、高維數值積分等領域有著非常深入的研究。
沒有人，比華羅庚教授，更適合推動國內計算機數學、算法理論的研究與發展了。
於是，張謙之鄭重說道：
“羅庚同志，不管什麼管的計算機，都離不開數學的支援。我個人認為，即便我們國家暫時拿不出電子管計算機和電晶體計算的成品硬體，卻也可以提前開展軟體方面的預研，您覺得呢？”
“我贊同。”華羅庚教授微笑回道，“我在數學所內部成立計算機科研小組，就是出於這方面的考量。”
頓了頓，華羅庚教授若有所思，問道：“我聽說謙之同志你經常運用數學的方法，解決冶金、化工、機械工程和無線電等領域的問題，你在數學上肯定也有不俗的造詣，不知對於國內計算數學的發展有什麼建議？”
“確實有一點想法。”張謙之也不繞圈子，直接說道，“我認為應該從計算基礎理論課題、數值演算法課題、離散數學/邏輯課題、工程配套數學課題四個方向，推動國內計算數學的發展。”
稍稍停頓了一下，張謙之組織好語言，詳細解釋道：
“首先是計算基礎理論課題。
“無論是電子管計算機還是電晶體計算機，機器本身只是能自動執行算術邏輯的計算裝置，限制計算能力的首先的計算模型，其次才是機器效能。
“等機器造出來再想算什麼、怎麼算，不如先把數學基礎鋪好。
“這一塊兒，我認為可以從兩方面著手。
“一是圖靈可計算性與遞迴函式的本土化系統研究；
“二是自動機與有限狀態邏輯的數學理論。”
談起數學，華羅庚教授的好奇心一下子勾了起來，連忙提議：“具體說說這兩方面吧。”
張謙之回道：
“未來任何自動計算機，本質都是圖靈機，提前分清‘可計算問題’和‘不可計算問題’，可以避免投入巨大資源去編寫根本算不出來的程式。
“所以，課題內容應該集中在翻譯、梳理圖靈機相關理論、邱奇λ演算、遞迴函數理論，建議一套適合國內數學家理解的遞迴判定體系。”
華羅庚教授聞言細思了一番，點了點頭，流露出贊同的神色。
國情擺在那裡。
。搞上紙在先就那，實上間時一第能不然既
。病沒
：道說續繼狀見之謙張
。移轉態狀、組程方林布解求是質本，路電碼譯、制控機算計計設。轉跳態狀、輯邏林布是質本路電機算計“
。展拓化統系的數代林布、陣矩移轉態狀、機自限有行進力大該應們我，以所“
”？為不樂何，得兩舉一，用能樣同路電晶電，用能路電管子電，果學數套這“
”。些一了慢度速的進推，限有費經，限有手人是只，了做在經已實其們我，作工的面方這“，道後然，掌手下一了拍授教庚羅華”！為不樂何、得兩舉一個一好“
。氣口一了嘆微微不之謙張
。板短是都面面方方，興待廢百國中新，話句那是還
。了才人的學數通論遑更，又之人的化文有，來上提沒還都率字識
……費經於至
？所學數給撥費經多有能，肘見襟捉，家國的白二窮一
！吶難
：道說下往著接，神振速迅之謙張，後之氣完嘆
”。點指吝不您請還，方地的錯說有，斧弄門班我，家專是您域領個這。題課算計值數是後然“
”。慮顧麼什有要不，說膽大你，點指不點指上不談，習學相互，論討相互們我“：手擺擺授教庚羅華
：道便之謙張
。銷開存儲、度速斂收、定穩顧兼，本版的代迭自機合適為造改法方值數算手統傳把，是法想心核的我“
”。手著面方個四這，生數機隨偽與礎基學數的法方卡特蒙、近式函/分積值數/值式項多速快、論理定穩法方分差程方分微偏/分微常、究研法解代迭的組程方線疏稀型大從要主“
：道說首頷，刻片思沉授教庚羅華
