1930
年，年僅
22歲的
法國「小毛頭」赫爾布朗特（
jacques herbrand
，1908-1931
）在登山時遇難的前一年給我們留下了一條數理邏輯的基本定理：
赫爾布朗特定理。這條定理有什麼意義呢？
大家知道，在數理邏輯裡面，引入量詞
符號「∃」與「∀」
，是很重要的，但是，對於數學自動鼎定理證明而言，量詞符號「∃」與「∀」就是累贅。怎麼辦呢？
在所謂「一階邏輯」裡面，符號「∃」與「∀」允許出現在邏輯公式裡面，如果設法將其消除，那麼「一階邏輯「就變成傳統的命題邏輯公式（類似布林邏輯公式）了。
赫爾布朗特定理證明了這一結論，並且給出了消除量子符號的步驟，開啟了現代自動定理證明的大門。
後人為了紀念赫爾布朗特的重要貢獻，從
1992
年開始，在機器自動定理證明研究鄰域設立了」
赫爾布朗特獎「，獎金額度雖然不高（
1000
美元），但是學術榮譽（含金量）極高。
1997
年，我國著名數學家吳文俊（
wu wenjun
）教授榮獲該獎，
以表彰他對初等幾何定理機械化自動證明的成果。
近日，北大、清華為爭奪今年高考「狀元」打得不可開交，也不怕丟人。我國高考狀元有幾個人能夠取得類似
赫爾布朗特的學術成就？原因是什麼？我們要知道乙個事實：數學大師馮
.紐曼是赫爾布朗特的指導老師！所謂」名師出高徒「。我國的數學名師在何方？
袁萌 7月4
日
奈奎斯特定理 and 夏農定理
整理自 21ic電子網 奈奎斯特定理 nyquist s theorem 和夏農定理 shannon s theorem 是網路傳輸中的兩個基本定理 要搞清楚這兩個定理，需要先弄懂一些定義 波特率 buad rate 位元率 bit rate 頻寬 bandwidth 容量 capacity 波特率...
奈奎斯特定理和夏農定理
1 波特率與位元率 位元率 在數字通道中，位元率是數碼訊號的傳輸速率，它用單位時間內傳輸的二進位制 的有效位 bit 數來表示，其單位為每秒位元數bit s bps 每秒千位元數 kbps 或每秒兆位元數 mbps 來表示 此處k和m分別為1000和1000000，而不是涉及計算機儲存器容量時的10...
奈奎斯特定理與夏農定理
奈奎斯特定理又稱奈氏準則，它指出在理想低通 沒有噪音 頻寬有限 的通道中，極限碼元傳輸率為2wbaud。其中，w是理想低通訊道的頻寬，單位是hz。若用v表示每個碼元離散電平的數目，則極限資料率為 理想低通訊道下的極限資料傳輸率 2wlog2 v 單位 b s 對於奈氏準則，可以得到以下結論 1 在任...