科學

科學

形式語言:現代工程師可以用程式語言、不需要用紙帶打洞來寫程式都要感謝它

現代工程師可以用程式語言、不需要用紙帶打洞來寫程式都要感謝它——喬姆斯基在 1956 年提出的「轉換生成語法理論」。從而成了形式語言被廣泛應用於程式語言的濫觴,使程式語言設計成為現代電腦科學的一個重要分支。

Read More

科學

喬姆斯基的轉換生成語法:寫程式跳出Syntax Error的原因

喬姆斯基後續提出的理論「轉換生成文法」(transformational-generative grammar, TG)繼續發展喬姆斯基的普遍文法。喬姆斯基在轉換生成文法理論中,嘗試描述生產正確字句的過程——我們可以簡化「語言」為一系列的規則與字串。這些字串與規則生成 (generate)了一個語言。

Read More

科學

稱霸語言與電腦科學的當代學術大師:喬姆斯基的普遍語法理論

如果有人問:誰是當代最有影響力的學術大師?毫無疑問,喬姆斯基一定是最常被提起的名字。他的語言學理論,徹底顛覆了人們對於語言和思維的認知,更永遠改變了電腦科學的發展。

Read More

科學

什麼是語言?從世界語、冰與火之歌到形式語言

《讓電腦讀懂你的話:形式語言》系列將為大家初探語言學,與後續引響電腦科學的重要理論──喬姆斯基的普遍-生成文法。此為第一集。

Read More

科學

第一次數學危機:差點逼瘋畢達哥拉斯的√2

讓腦海裡裝滿了哲學家對於探索世界的渴望(當然,也別忘記我們在前一篇文中介紹的哲學家理念),我們換一個領域,來看看歷史上三次的數學危機,是如何逢凶化吉…

今天要介紹的是第一次數學危機發現無理數的故事,關於差點逼瘋畢達哥拉斯的√2…

Read More

科學

世界是怎麼來的?西方文明與科學的一切起源—古希臘哲學

好啦,針對「電腦是怎麼來的」這個問題,讓我們從最源頭的地方開始討論起吧!你曾好奇過:「萬物是怎麼來的」這個問題嗎?世界是怎麼形成的呢?

Read More

科學

電腦的由來是什麼?(思考訓練)

二十世紀是人類史上科學技術進展最快的世紀。短短的100年間,湧現了大量對世界產生重大的影響的科學發現和技術突破,包括電視、飛機、抗生素、基因科學、量子力學…。

但若要評選一項滲透至人們日常生活的所有角落、改變人類生活型態最劇烈的科技發明,則非電腦莫屬。

Read More

科學

什麼是塔羅牌?—宇宙觀與文化意涵

聽到塔羅牌,你會聯想到什麼? 怪力亂神、算命、少女的戀愛占卜…。但塔羅牌的意義並不僅止於此—從古至今,人類對於預知未來、始終有著無盡的好奇與渴望。

Read More