這幾年有非常多的日本連鎖餐廳到台灣展店，旋轉壽司也不少，讓以往只有台灣本土的爭鮮旋轉壽司獨大局面有很大變化… 壽司原產國的日本店，當然是更厲害啦

1
2
3
4

藏壽司就是其中一家，發展至今全台已經開不少店了。我們三四年前去吃過一次，這周末才又去了第二次。

小隔間很多，一盤40元(爭鮮30)，注重衛生，服務很好，東西普遍好吃，這是我的印象。TT也吃得很開心，即使他就算是去吃爭鮮也是吃得很開心，哈哈

畫面這一盤是鮭魚壽司，單獨一貫，看起來很有氣勢，拍起來也好看。

藏壽司還有一點很有趣是，每吃5盤，你通過桌邊有個盤子收集孔投下去，每一盤空盤都會計量，顯示在螢幕上… 只要每5盤，就可以有一次抽獎機會，把上方一個扭蛋機啟動，滾出一顆扭蛋…. 這次扭蛋主題是小小兵，還是獨家授權給藏壽司的喔

1
2
3
4
5
6
7
8

每次抽獎時，都會有一段卡通畫面，不同的故事，可能是去衝浪，去打撞球，去決鬥之類的... 然後沒抽中就是放活動失敗畫面，抽中就是很開心，例如撞球進洞之類的...

TT原本搞不清楚，看了第一次的動畫之後，竟然說之後不要看了，很可怕，他不想要失敗之類的... 完全出乎我意料之外，以為只要動畫他就愛看...

因此，我們跟他說，沒關係，這都是運氣導致，跟他表現好不好沒關係，不用怕。但他還是不敢看，再次啟動時，要躲在我後面...

於是我們加碼說，如果最後都沒中，那麼我們會到外面找扭蛋機給他扭一顆，外面的更好更大顆，這樣你總不會怕了吧？我看你可能得怕會贏吧，哈哈

結果沒有，他還是怕。真是….

最後還是好說歹說，他才慢慢恢復興趣，但其實僅止於自己推盤下去，還是不看畫面。怕輸怕成這樣…. 還是不理性怕輸，我看這小子的人生觀念，我們得好好教育教育了~~~~

D&TT ( #deantt) 是我的育兒系列，也許談養兒，談育兒，談當年生兒，談媽媽懷孕時，談家庭形成，談生命意義，談我兒TT的好笑，可愛，可憎，或記錄他的生活，我們的生活，三個人的，兩兩的…. Anything about TT。

This page is synchronized from the post: ‘[D&TT] 壽司、機率與人生’

In this post, I introduce Andrew Yang to the CN community and the idea of @theycallmedan to bring Yang to Steem, in the language of Yang’s family - Mandarin Chinese. Hellya~~~ That’s right! After all, who else on Steem is more suitable than me to introduce this U.S. Presidential candidate, the American-born son of immigrants from Taiwan? ^^

社區最近有這麼個熱門想法與活動：#YANGGANG Steem & Twitter Awareness Campaign!

大意是說，競選美國總統（民主黨黨內初選中）的華裔企業家Andrew Yang楊安澤先生，非常適合來Steem發展一下，因為幾點因素諸如他提倡基本收入UBI，他對於科技對未來人類影響很清楚，他反對網路公司以用戶資料謀私利，而且他常常被主流媒體邊緣化或忽視！

所以這位與創辦人同名的Dan先生，提倡大家去twitter使用熱門的 #YANGGANG標籤來讓他注意一下，如果他來了，還真是件大事啊！哈哈，救救幣價嘛～～

我個人之前雖然也知道這人，但一直沒多注意，感謝這篇文章讓我開始多了解他，真的是很有趣～～

首先，他是台灣移民家庭出身（讓我想起Fresh off the boat這個熱門的美國sitcom，哈！），woohoo，台灣之光！_{（你可能不太清楚，但我這是反諷語氣… lol）}其次，他才44歲！天啊，也太年輕了！在台灣要競選總統得年滿40歲，他也才剛滿哪！這肯定是選不上吧？才剛選出個Trump老爺爺的國家，應該沒這麼快選出青年才俊… lol

其他部分，我把wiki資料簡單摘一些重點吧！

楊安澤生平

• 出生於美國的Schenectady, New York，與妻子Evelyn家庭均是來自台灣的移民家庭
• 父母是在UC Berkeley研究生院就讀的時候相遇的，父親楊界雄獲得了物理學領域的博士學位，並分別在IBM和GE的研究實驗室工作且在其職業生涯獲得了69個專利；母親陳玲銖則獲得了統計學的碩士學位，但隨後卻成為了一名藝術家，曾任台灣粉彩畫協會理事長
• 布朗大學就讀經濟系，並獲得文學士學位。布朗大學畢業後，又進入哥倫比亞法學院就讀，並在這裡獲得了法律博士的學位。
• 1999年畢業後在紐約市的達維律師事務所開始他的律師職業生涯，2000年就離開事務所並創辦了一家名為Stargiving.com的網站，這家網站是一個與名人相關聯的慈善籌款網站；之後加入了一家從事醫療保健軟體的創業公司—MMF System。他在公司擔任副總裁
• 2004年加入由其朋友Zeke Vanderhoek所創辦的一家小型公司——Manhattan Prep，是幫助人準備一些英語考試的公司。2006年，出任這家公司的執行長，在他的經營之下，從最初的5個門店擴展到69個門店，並於2009年12月被卡普蘭公司所收購。
• 收購之後，楊安澤開始致力於建立一個名為「為美國創業」Venture for America的非營利性獎學金計劃。該計劃最終於2011年成立，其目的旨在「透過動員美國下一代企業家在美國城市創業來為美國製造就業機會，並為這些創業者提供創造就業所需的技能與資源。」
• Venture for America計劃是將全美頂尖大學的優秀畢業生招募到一個為期兩年的獎學金計劃中，他們將在美國那些發展中城市裡有潛力的創業公司里工作或擔任學徒，目的是在全美範圍內重新分配這些優秀人才，並鼓勵勵他們創業以促進經濟。2017年3月，楊安澤辭去首席營運長一職。
  ….

很精彩的人生吧，給定他才44歲…. 繼續看下去

• 2012年，楊安澤被歐巴馬政府授予「白宮變革領袖（White House Champion of Change）」的榮譽。
• 2015年，楊安澤被歐巴馬授予「全球創業精神總統大使」稱號。

會不會是進白宮太多次了，所以他就…..

• 2017年11月6日，楊安澤向聯邦選舉委員會提出申請，要求參與2020年美國總統選舉
• 因技術現代化而預測將出現大規模失業，他在競選承諾裡提出向每個年滿18周歲的美國公民提供每月1000美元的「自由津貼（Freedom Dividend）」
  *《紐約時報》的文章刊載了楊安澤在其競選活動中提出的各種新政策，例如：成立一個專注調節媒體成癮的部門；設立白宮心理學家職位；使報稅日成為國定假日並遏制腐敗；增加聯邦監管機構雇員的工資但會限制他們在離開公共服務部門之後的私人就業範圍等
• 楊安澤的競選口號是「人道至上（Humanity First）」

…..

哇！真的是很適合來Steem耶，你不覺得嗎？至少是適合那個比較有理想性的Steem…

這一篇談Andrew Yang與Steem的關係，值得你看看

Andrew Yang and The Steem Blockchain

裡面還提到Yang的兩個孩子中有一位自閉症，因此他們夫婦對此議題特別關心。其實輕度自閉症者真的非常適合在家工作，因為他們與社會有溝通障礙，能力上卻不見得有什麼問題，甚至很多還非常傑出，我想這也是他充滿很多人文關懷的原因之一… @honoru 米高最清楚這一塊吧…

昨天聽說他上電視參與民主黨內初選辯論被忽略邊緣化（新聞報導），真的，快來Steem吧！我們給你溫暖！！^_^

Go Go #YangGang!! Let’s get Andrew Yang on Steem!!

#iwantfreedomdividendtoo

_{source: see reference}

Maybe we can bring Hudson YANG to Steem as well!? lol

References

• https://zh.wikipedia.org/wiki/%E6%A5%8A%E5%AE%89%E6%BE%A4
• https://zh.wikipedia.org/wiki/%E6%A5%8A%E5%8D%87%E5%BE%B7

This page is synchronized from the post: ‘[熱門話題] Andrew Yang 楊安澤，來Steem吧！’

前幾天說了待續這一篇：我的新偶像－戈德爾 Kurt Friedrich Gödel

今天就繼續接著講。

上次介紹了人，談了他的「不完備定理」(Incompleteness Theorem)。今天繼續說說，這不完備定理在很多方面的應用跟影響…

真要牽的話，連我們今天在這裡發文章都能扯到跟這定理有關呢～～～

我們先簡單回顧一下這定理的內容，剛好看到一個比較白話一點的版本，是英文的，我把它翻譯一下：

不完備定理

For any consistent axiomatic formal system that can express facts about basic arithmetic:

對於任何具一致性而且能夠表述基本算術邏輯的公設系統

1. There are true statements that are unprovable within the system.

1. 系統內必然存在正確但無法被證明的陳述

1. The system’s consistency cannot be proven within the system.

1. 系統的一致性無法在系統內被證明

額，好像還是沒有很白話，那我大膽用自己的話說說看好了，我想應該是錯的 lol…

「任何體系都不能用邏輯方式證明體系內所有的論述」

感覺就是任何知識都是有預設知識存在的，不可能存在一套知識系統是完全只需要系統內的知識就可以完全支持的。

這是不是有一點像是「神」的存在….

我向來有一種想法就是，人類無法透過自我來理解人類的存在，因此有「神」，有信仰，那就像是體系外的「預設知識」… 戈德爾先生，請不要打我….. >_<

對數學與哲學的影響

地球人類有太多的問題無法解決，有各式各樣的「危機」，如能源危機、道德危機、人口爆炸危機等等，而常有無力感，但在二十世紀初，人類卻充滿了盼望與信心，面對未來都很樂觀，特別對「理智」的信心非常強，相信憑著理智所有的問題都可解決，數學就是一個明顯的例子

十八、十九世紀數學的成就是驚人的，如從希臘時代就留下來的所謂「幾何三大難題」，竟然一次就都被解決了，也難怪希伯特說：「我們必須知道，我們將會知道」，自然交出它所有的問題，而人類必將所有的問題一一克服，這是當時的樂觀看法…

因此，當不完備定理出來，對許多人來說彷如晴天霹靂，人們一度認為找到了數學的基礎，卻發現這個基礎是海市蜃樓，而且不完備定理似乎告訴人們，我們將永遠無法找到這個基礎，連數學這號稱最精確的科學尚且如此，其他所有的知識又如何自處呢？

不完備定理告訴我們，有些事情是真的，但我們無法證明它，若是如此，人要如何面對沒有被證明的事？既無法全部接受，亦不該全部否決，如何決定取捨呢？這似乎已經是哲學層次的思辨了…

對電腦發明的影響

戈德爾1931年發表了不完備定理時，還沒有今日所謂的電腦，對於電腦如何發明的，至今仍眾說紛紜，但在此可以引述普林斯頓高等研究院1978-1979年度報告中所摘錄曾任美國國家科學院副院長的Saunders Mac Lane的一段話:

戈德爾偉大而抽象的邏輯工作，有個令人驚異的結果。在分析戈德爾所描述的何者可被一步步程序所得的正式方法中， 年輕而聰明的英國邏輯家Alan Turing 定出了這程序所得的結果，即一般遞歸函數 (general recursive functions)，這也正是一台機器所可能計算的，藉著這個分析，及其在 John Von Neumann 等人身上的作用，以致現代計算機的理論觀念及分析得以開展，直至今日，對於何者可被計算的理論描述，及至更深入的分析，我們可正確的說，仍然根植於戈德爾於1931年所發表的數理邏輯論文中。

你看看，你看看，咱們今天在Steem上發文，是不是可以追溯到戈德爾這位偉大的人物呢？沒電腦還玩什麼區塊鏈嘛！

我只能說，要是中本聰碰上戈德爾，只怕也只配幫他倒茶了吧！（圖零大概有資格跟他聊天，聊天空檔，中本聰也許可以跟圖靈說個兩句，但茶還是得接著倒的….. lol）

參考資料

• “戈德爾不完備定理”，董世平。http://episte.math.ntu.edu.tw/articles/mm/mm_15_4_11/index.html
• Waiting for Gödel
  https://www.newyorker.com/tech/annals-of-technology/waiting-for-godel

暫時結束……….

This page is synchronized from the post: ‘不完備定理的威力 －戈德爾 Kurt Friedrich Gödel 之二’

昨天介紹了EpicDice的新遊戲 Between，可能是宣傳還不夠，玩的人不多。反而後來是我玩得多一些，還好我最後是賺的，風險真的蠻高的….

但這一篇我要回頭分享一下，早上發現，上一篇順便提到ED提高最高賠金為500 STEEM，原來也是刺激得緊哪！當然，我說刺激因為是看別人賭，我才不敢這麼豪賭

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

話說Steem Engine得首席開發人員是 beggars，不知道你們知道嗎？我早上就是看他在豪賭看得我瞠目結舌....

印象中以前沒看過他來玩，有可能是受到新遊戲推出所以來瞧瞧，也可能是我沒注意但其實來玩過... 總之...

我開始看之前，他可能就已經玩一陣子了... 用的策略跟很多人類似，就是「輸就倍增法」，然後都押比50小，理論上機率一半一半。

下面是我第一次驚訝的畫面。連續輸6把，總共輸掉約700 STEEMs。其實，這機率也不是非常低，1/64，你連續玩個1-2小時，估計就會出現這樣情況吧？(他的倍增法更激進一些，就是不只倍增，還多一點，但相對輸的話會比較快見底)

![](https://cdn.steemitimages.com/DQmSi9VjLecrf5ydUeQ1NoAbEDPGKZgQSBdur5eg5JoyYSv/image.png)

隔沒兩分鐘，又見連續輸5把... 可是，卻又連續超大注3把，瞬間又扳回劣勢！這心臟....

![](https://cdn.steemitimages.com/DQmYcMMhwaaB79gXk7xjctetFLvxKssmvedbkgYQhRobSXX/image.png)

各位，更誇張的來了... 連輸9把！！！512分之1的機率！！而且你看那金額，連續5注250 STEEMs全數槓龜！！輸掉快1500 STEEMs，不到一分鐘之間！

但是，那時候，ED的分紅仍是0，意思是，他輸掉這麼多錢，其實，莊家還沒賺到錢。意思是，其實之前他已經賭贏這麼多錢了！只是又還回去而已....

真乃大戶也.... (我知道現實生活中的賭場，這種錢只是小錢而已，但對於ED的短短歷史中，這應該算是很高的紀錄了吧!?) 

![](https://cdn.steemitimages.com/DQmQBQxLfHcw3gttYogkMxK1jodf1XxzemFEKrciT7cVj9X/image.png)

ED的Dice已經賭金低迷好一陣子了，最近很少看到總賭金能夠到達20k了，幾乎都拜這位"乞丐"大土豪所賜呀~~~

你看我那用"小於95"賭注堆出來的1.09k，跟他一比真是寒酸了...

![](https://cdn.steemitimages.com/DQmWJjyxEfYxoSE4VRpc1FWSyjwRftY5aEV8DhTfyi9RrvQ/image.png)

我看到連9把高於50，於是心也癢了，決定拚下去，賺個12.5 STEEMs也好... 沒想到繼續高於50，還出了3次，因此連續紀錄到達12！我心臟也快受不了，但就是得加上去啊，不然要認賠嗎？終於給我等到38，因此12.5落袋，但也嚇出冷汗了...

![](https://cdn.steemitimages.com/DQmb2ZNbqYre4hDJCnApgMaez5NgDG8guKnSJ7Z12X1wVzQ/image.png)

下午我就沒看了。剛剛去看，乞丐先生賭到快2萬，但我去看他錢包，已經阮囊羞澀了... 但說不定他一開始就是這麼多錢，一直進去滾而已。但莊家已經有利潤，我們可以分一點紅了，那乞丐先生應該是有賠錢了啦~~~~ 只是可能也沒有很多，考慮他可以拿到將近100萬顆EPC，也價值100 STEEMs啊~~~ 

真感謝他帶給我娛樂，我自己是不會這樣玩的，看人玩就好

_{賭博有風險，請自行斟酌}

This page is synchronized from the post: ‘[EpicDice] 賭桌旁看乞丐豪賭驚呆了…’

大家好，終於，(我)期盼已久，EpicDice推出新(賭博)遊戲啦

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

其實我因為是Mod，已經提前"享受"先玩的樂趣，還贏了一些些錢，今日官方正式推出，所以我當然得有義務來宣傳一下囉~~~~

看看下面這個Logo，我個人很喜歡，設計得非常的美，且精準傳遞了遊戲的精隨~~~~那就是，插空隙！所以我個人給它一個中文名稱「插空隙」，官方英文名稱是Between。

這是ED的第二個遊戲，緊接在第一個遊戲Dice將EPC代幣推進到Halving之後，象徵著ED團隊持續不懈的努力～～～

![](https://steemitimages.com/640x0/https://files.steempeak.com/file/steempeak/epicdice/Ah7pjuSD-Screenshot_2019-11-19_08-48-52.png)

讓我來簡單介紹一下這遊戲給大家，或是你也可以看更詳細原文原版介紹

[Between - A game built with adrenaline](https://steemit.com/epicdice/@epicdice/between-a-game-built-with-adrenaline)

![](https://cdn.steemitimages.com/DQmZPcyvkup8hoPTw7YwUiVKFKBpcSud2g5ZC9wHSrTHQM7/image.png)

我可以用很簡單幾句話就介紹的

* **遊戲重點，第三張牌大小必須在前兩張牌之間，那就「插空隙」贏啦！**
* **簡單流程**：每次遊戲都得先下「底注」(ANTE)，這個錢是不退還的，目前是設定最低1 STEEM。下完才能抽兩張牌；看兩張牌後，你可以決定要不要繼續，要繼續就是下CALL，額度在1-10倍的底注之間。例如，你底注是2 STEEM，你CALL可以是2-20 STEEM。或是蓋牌，放棄這一輪，看下一副運氣是不是好點... 如果繼續，就是抽第三張牌，命運降臨！
* **細部提示**：下CALL時還得給等量的CLASH，要是第三張牌撞上前兩張，那就等於損失兩倍CALL (CALL+CLASH)；前兩張牌一樣，你直接可以拿走兩倍底注；「插空隙」成功，則你可拿回兩倍CALL(也就是賺一個CALL的金額)，不成功，那就掰掰啦~~~
* **為何是練膽？**因為，可以下到20倍大的賭注，有機會翻本回來，但風險也很高，玩了你就知道~~~~

這些規則看起來拉拉喳喳很繁瑣，其實真的沒有很難~~~~ 要等待好牌再下手衝賭注，不過要等牌又得付出底注錢，所以兩難囉~~~~ 人生都是這樣的啦

我剛剛玩了幾把，真的被我遇上CLASH！A.Q.J. 這皮蛋真是來亂啊

1
2
3
4
5
6
7
8

呼~~~~ 真是好險~~~~ ^_^ 

介紹給你知道，玩不玩請你自己決定，贏錢不用請我，輸錢別怪我就行！lol

![](https://steemitimages.com/640x0/https://cdn.steemitimages.com/DQmbzs8Wbbm1WE5qwHTwd4iRqBwicQCdf5ETZtrAkozDRC4/Artboard%205@20x.png)

另外，Dice部分也提高了最高賭金到500 STEEM (最高單筆賠500的意思)，一次提高了5倍！！然後每日競賽的獎勵也有了改變，競爭更刺激了~

一併報給你知~

_{賭博有風險，請自行斟酌}

This page is synchronized from the post: ‘[EpicDice] 新玩意兒上架！Between「插空隙」挑戰你的心臟！’

_{source: see reference}

戈德爾 (Kurt Friedrich Gödel) ，在1931年發表了「不完備定理」(Incompleteness Theorem)。

哈佛大學在1952年即譽為是該世紀最重要的數學真理，其深遠之影響性可見一斑。

駑鈍如我，當然不敢奢望能懂，但是努力啃過科普版之後，發現還真是頗有啟發的感覺啊

1
2

據說此定理對於數學、計算機和哲學都有深遠的影響喔，讓我整理別人說的內容，來簡介一下吧

不完備定理背景

1927年，荷蘭數學家布勞威爾 (Brouwer) 對以往古典邏輯的確實性提出挑戰，特別是對所謂的排中律 (Law of the excluded middle)，即，對任一命題「A」，A或A之否定命題必有一為真， 他認為我們不可無條件的接受，布饒兒堅持有其他的可能性， 因此也就有了數學哲學中的直觀主義 (Intuitionism) 學派，若接受了此一說法，連帶的，數學中許多的證明將不再被接受，特別是所謂存在性的證明。

上面這段話就是在說，如果你透過證明反命題為偽來間接證明命題為真的話，則布勞威爾要挑戰你，說這樣的證明方式是有問題的，世界不是非黑即白的！

這樣還得了！數學家們當然要跳腳了

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

不完備定理告訴我們，任何一個具有一致性的公設化系統皆是不完備的！任一個足夠強的公設系統，皆無法證明它本身的一致性，所以要證明數學具有一致性，即數學中不會產生矛盾，你將無法由數學中得到，你必須靠數學以外的東西，也許是你個人的哲學或神學，來相信數學是有意義的，這可說是粉碎了「希伯特計劃」....

<h3>不完備定理內容</h3>

一般所謂的不完備定理，分為兩個部份：

**第一不完備定理**
任何一個足夠強的一致公設系統，必定是不完備的。
即除非這個系統很簡單，(所以能敘述的不多)，或是包含矛盾的， 否則必有一真的敘述不能被證明。

**第二不完備定理**
任何一個足夠強的一致公設系統，必無法證明本身的一致性。
所以除非這個系統很簡單，否則你若在此系統性，證明了本身的一致性，反而已顯出它是不一致的。

戈德爾的證明過程相當複雜，而其中最核心的概念，是古典希臘哲學中一個有名的詭論 (paradox)：說謊者詭論。

大意是這樣，西元前6世紀希臘時代的一個詩人哲學家Epimenides說了一句很有名的話：「所有的克里特島人都是說謊的。」這句話有名倒不是因為它是真理，正好相反，因為它一定是錯的，為什麼是錯的呢？因為說這句話的Epimenides就是克里特島人，同樣一句話，別人說也可能是對的，但是由克里特島人來說，就一定是錯的，為什麼呢？若這句話是真的，則Epimenides沒有說謊，和這句話矛盾，所以這句話是假的。

真正的證明，想當然我不會懂，我想你也不會懂，因此以下省略1000字....

讓我們來說一下不完備定理的影響：以往數學家只有兩條路可走，證明是真的，或證明是假的，如今又多了兩條路，不能被證明是真的，和不能被證明是假的。但要提醒注意的是，後兩者彼此並不相斥，集合論中有名的「連續統假說」(Continuum Hypothesis)，即被證明以現有的集合論公設，無法證明它為假（戈德爾1936年的結果），亦無法證明它為真（Paul Cohen 1963年的結果）。

<h3>小結</h3>

唉，時間不早，這些東西太硬，我留點下次說....

但名人總得伴隨八卦一下.... 來一點吧

戈德爾24歲時，就完成此一定理，並獲得維也納大學博士學位。他是個要求嚴格的人，很多的想法在生前都沒有正式發表甚至記錄，要逝世後從其手稿找出。不喜歡談論自己或受到注目，亦討厭旅行。

妻子 Adele Nimbursky 比哥德爾大六歲。兩人認識時，Adele 已婚且在夜總會工作。他們的婚姻遭到哥德爾家人反對，但有情人終成眷屬。

在普林斯頓時，哥德爾和愛因斯坦成了很好的朋友。後人常將他們比較。哥德爾和愛因斯坦都在自己的範疇有極為重大的貢獻，很聰明，有好奇心，直率。但愛因斯坦性格開朗外向，這點和哥德爾大相逕庭。愛因斯坦的死對哥德爾的情緒有很大打擊。

參考資料

• “戈德爾不完備定理”，董世平。http://episte.math.ntu.edu.tw/articles/mm/mm_15_4_11/index.html
• 庫爾特·哥德爾，維基百科，自由的百科全書
  https://zh.wikipedia.org/wiki/%E5%BA%93%E5%B0%94%E7%89%B9%C2%B7%E5%93%A5%E5%BE%B7%E5%B0%94

待續……….

This page is synchronized from the post: ‘我的新偶像－戈德爾 Kurt Friedrich Gödel’