歲月靜好

聽線上演講日期：102/11/17

講者：羅中泉教授

大腦中的小宇宙有約860億個神經元，

四個中老年人的腦打成碎片後，用特定方式將神經元染色之後概算出來的。

因為所取樣本數不夠多，所以這個數字也沒有絕數準確。

物理學家遇到數學家會低頭。

西元二、三世紀，已知血管源自於心臟、神經源自於大腦，認為神涇傳遞思考。

賈法尼的助手不小心用電夾到青蛙，伏打又做了很多實驗，認為是因為不同金屬而於帶電。

十九世紀末，把大腦比喻成電話線。

1848年，發現神精系統的脈衝。

1850年，赫姆霍茲發明了赫姆霍兹線圈，

聽線上演講日期：102/12/13

講者：林家太教授

主題：生物離子通道的數學建模

由離子通道說明河豚為何有毒，離子通道有如守門員

骨它憫很大顆，把氯離子擋在外面，

離子大小，氯離子>鈉離子，

少年pi 尺寸不同漂流

在界膜上，有所謂的size  affect，

骨它憫把通道變小，

通道非圓柱體，

細胞膜如台大圖書館前綠油油的草地。

離子通道由四個蛋白質纏繞成一個通道(課程提問1：何謂立體纏繞方式？由學生口述或圖示)

數學建模的應用：由祖沖之的圓周率來說明。

多知道兩位圓周率有什麼用？

建模是找到比較精確而有效的方法。

蒙地卡羅法

理念是一顆顆的來算，算它的能量。

給分布的機率，找到一個最小的能量狀態。

缺點是，只能算平衡態。無法說明這些離子在跑的時候它是怎麼跑的。

所以才有第二種方法，分子動力模擬。

把每一個離子的軌道給算出來的方法，但離子的數目非常巨大，

七天的時間只能算出幾秒鐘的動態。代價很大。

效率太低而無法做預測。多用於做研究中做參考。

這是公認兩個最主要的方式。

怎麼找到一個更有效率

偏微分方程建模

用連變數來考慮他的分布

能量變分法

最小作用原理：能量在體內會耗散，有一個平衡的機制，守恆律，一餐沒吃飽，不會馬上變瘦

最大耗散原理：梯度理論

你開車來台大，到了台大要踩剎車，這是最小作用原理，到達該到的平衡態就要踩剎車。

要到台大，要以最快最有效率的方式到達，這是最大耗散原理。

每個人都是從1+1=2開始，就算愛因斯坦也是是如此。

東方人在運算演譯功夫一流，但是在形式邏輯上，就輸給了西方人。

小室直樹，書名叫做：給討厭數學的人。

【數學是神的邏輯】

形式邏輯的是第一個，就是有一個絕對的是。

裡面有通個絕對的是，不是不是就是是。

對我國文化而言，我的是可能是你的不是。

即不偏左又不偏右，

中國人的中庸之道使得我們無法有歸謬證明法。

根號2是無理數，怎麼證？

不是無理就是有理。中國文化中的既是有理又是無理，就無法證明。

對所有(for all)和存在(there exist)是相對的。

逆命題，是歸謬證明的根基。

亞拍拉罕和神的對話。

只要他存在就是逆命題。

韓非子的矛盾並非逆命題。

存在一根矛可以剌穿所有的盾。

存在一個盾可以抵擋所有的矛。

甲矛對乙盾擋住，乙矛被甲盾擋住。

嚴格來說東方文化並無形式邏輯。

http://case.ntu.edu.tw/CASTUDIO/course.php?speech_ID=3368#video_top

 語言似乎是一個方向，思考的邏輯落實在語言中。

華人的文字中沒有「反於事實的描述」的思考陳述。

contradiction並不是矛盾。