美国档案-哥德尔入境美国记录
哥德尔是20世纪伟大的数学家和逻辑学家，他证明的不完备定理，对数学和科学有划时代的意义。他是奥地利犹太人，于是在1930年代到了美国。微信上有哥德尔在入籍时法庭上的一个插曲，因为他在美国宪法里发现了一个漏洞，有可能引发独裁统治，而法官正好问了一个问题，哥德尔就谈起了这个话题，让证人席上的爱因斯坦和摩根斯坦（Oskar Morgenstern）捏了把汗。维基百科英文版哥德尔条也专门谈到入籍申请时法庭上的这个插曲，看来这是非常有名的一件事。摩根士坦是著名经济学家，他和冯纽曼建立了效用函数，对经济学有巨大贡献，可是似乎没有获诺贝尔奖，哥德尔能请动他和爱因斯坦作他入籍的证人，恐怕是前无古人后无来者了。维基提到对此事研究的最全面的是John W. Dawson 1997年写的 Logical dilemmas: The life and work of Kurt Gödel,但是写这书他没有看到摩根斯坦的叙述，维基还有摩根斯坦回忆的PDF，可下载。下面是摩根斯坦的回忆，我的粗旷型翻译（下面的“我”指摩根斯坦）：
下文仅依据记忆，没有查记录和日记，具体日期和其它细节日后再补
1946年，哥德尔决定要入美国籍，他请我作他的一个证人，他还请了爱因斯坦，爱因斯坦很高兴地同意了。
哥德尔事前作了精心彻底的准备，他本来就是一个很仔细的人，研究了北美土著居民的历史，印地安人，他们的部落等。他多次给我打电话询问相关资料，然后认真阅读。他问了很多问题，也怀疑这些历史是否真实。接着哥德尔又研究美国历史，进而研究宪法，普林斯顿地方历史，还问我镇子（township）和区（borough）的界线在哪里，我告诉他这些都是无关的问题，但是没用。他又想了解区委会（Borough council）是如何选出来的，镇委会，市长是谁，镇委会如何运作。他认为他会被问及这些问题，如果他不了解他所居住的镇子，会形成坏印象。我想说服他，这些问题从来没有问过，大多数问题真的都是走个形式，他很容易就能回答。最多他们会问我们国家的政府是什么类型的，或者最高级的法院叫什么名字，这类问题。但是他继续他的宪法研究。
然后有趣的事发生了，他很激动地告诉我，看了宪法，他不幸发现了一些内在的矛盾，他可以显示，某个人如何可以用完全合法的方式成为独裁者，然后建立一个法西斯政权，完全违背起草这份宪法的人初衷。我告诉他，既使假设他说的对，当然我对此表示怀疑，这些事情也几乎是不可能发生的，但他固持己见，所以我们就这点讨论了很多次。我想劝他在Trenton的法庭上的审查时别提出这样的问题，我还把这件事告诉了爱因斯坦，他听说哥德尔想出这样的事，吓坏了。他也告诉哥德尔别担心这些事，也不要讨论它们。
好几个月过去了，审查的那天终于到了，我开车去接哥德尔，他坐进后座，然后我们到爱因斯坦在Mercer街上的家去接他，再从他家开往Trenton。路上，爱因斯坦略略转过身来说：“对了，哥德尔，你真的准备好了吗？”这个问题一下让哥德尔非常担忧，他中了爱因斯坦的圈套，他脸上的表情让爱因斯坦很开心。
到了Trenton后，我们被让进一间大屋子。一般情况下，证人和申请人是分开询问的，但是爱因斯坦来了，他们就破例让我们三人坐在一起，哥德尔坐中间。审查官先问爱因斯坦，然后问我，哥德尔是否会成为一个好公民，我们向他保证，他一定会是个好公民，他是个杰出的人，诸如此类，云云。接着他转过来问哥德尔：“哥德尔先生，你来自哪里？”哥德尔答道：“我从哪里来？奥地利。”审查官：“你们奥地利是什么的政府？”哥德尔：“我们曾经是一个共和国，但是宪法让她变成了一个独裁政权。”审查官：“噢，这太糟了！这种事在我们国家不会发生。”哥德尔：“哎，完全可能，我可以证明给你看。”就这样，在所有的问题中，审查官偏偏问了这个关键问题。爱因斯坦和我听到他们的对话吓傻了。审查官还算比较机智，他马上就安慰抚哥德尔道：“噢，天那，我们别谈这个了吧。”就这样他结束了询问，我们大大地松了口气。最后我们离开了那间屋子，边谈着边走向电梯，一个男的从后面追过来，手里拿着纸笔请求爱因斯坦给他签名，爱因斯坦满足了他的要求。当我们的电梯向下运行的时候，我对爱因斯坦说：“这么多人这样缠着你太恼人了。”爱因斯坦回我道：“这恰恰是吃人社会的最后一点残余。”我不太懂，问他：“为什么？”他说：“真的，以前他们想喝你的血，现在他们要你的墨水”。
我们驾车返回普林斯顿，当开到Mercer街拐角时，我问爱因斯坦他想回家还是去研究所，他说：“带我回家吧，反正我的工作已经没有任何价值了。”接着他引用了一首美国政治歌曲，不幸的是我记不得歌词了，也许我的笔记里有，如果有人能提示一句，我肯定能认出来。到爱因斯坦家的时候，他又转过身来对哥德尔说：“哥德尔，这是你到数第二个最后的审查。”哥德尔：“上帝啊，还有最后一个？”他已经又开始担忧了。爱因斯坦说：“哥德尔，下一个审查是当你步入坟墓的时候。”哥德尔：“但是，爱因斯坦，我不会走入我的坟墓。”爱因斯坦：“”哥德尔，这是开个玩笑。”然后我送哥德尔回家，这件可怕的事办完了，大家都轻松下来，哥德尔又能致力于他的哲学和逻辑问题了。

以上是摩根斯坦的回忆，既然有入籍，就有入境。因为这些都发生在1940年代，所以美国国家档案馆（NARA）网上没有，或者是我没有找到，现只能到familysearch.org网上去查，Kurt Friedrich Goedel（往往又拼成Godel，o上有2点）给出好几条记录，里面就有入籍时哥德尔填的表格。Familysearch的图，所以不上图了。
表格是Form N-405，这几个字写在左下角，然后括号里写 “Old 2204 L-B”，老表格2204 L-B，再下面 U. S. Department of Justice,Immigration and Naturalization Service。这面最上面是United States of America，Petition for Naturalization，是在新泽西州的Trenton District Court，普林斯顿大学所属法院，很多普林斯顿名人都是在此申请入籍，包括爱因斯坦和摩根斯坦（1938）。表上有好几个日期，一个是1947年12月，这个似乎是证人作证日期，然后有1948年4月，这可能是批准日期。哥德尔名字拼成Kurt Friedrich Godel，住址是120 Alexander St. Princeton NJ,职业填的是数学家，1906年4月28日生于捷克斯洛伐尼亚，肤色（complexion）填的是dark，眼睛蓝色，头发棕色，种族白人，身高5‘7，1米70，体重110磅，国籍是奥地利。妻子Adele Thusnelda xxxbursky nee Porkert，1899年11月4日生于奥地利维也纳，1938年9月20日在维也纳结婚。1940年3月4日在旧金山入境，是从日本的横滨到美国的，乘坐的是克利夫兰总统号。哥德尔有两个世界最强证人，一个是爱因斯坦，住普林斯顿112 Mercer Street，一个是奥斯卡 摩根斯坦（Oskar Morgenstern），著名经济学家，还是博弈论创始人之一，也住普林斯顿，12 Naussau Street。
既然填了入境美国日期地点，就简单了，Familysearch上查哥德尔，给出这个文档：360 - Jan 18 - Mar 21, 1940，在p320上，哥德尔拼成Kurt Goedel，33岁，已婚，职业教授，下面是妻子Adele Goedel 40岁，家庭妇女。科学家中不少是妻子比丈夫大的，哥德尔妻子大他7岁，爱因斯坦妻子也比他大，赵元任妻子杨步伟也比他大3岁。p319上其它信息，联悉人留了兄弟，也是一位博士在维也纳，目的地是普林斯顿大学高等研究院，曾经在1938年到1939年来过美国，地点是South Bend，查美国印第安纳州有地名South Bend，印第安纳大学在此有分校，University of Notre Dame的校址也属这个地方。
Familysearch上也有1938年哥德尔入境档案，地点是纽约，Roll 771 Hamburg-American...th German Lloyd, 1938 Sep，这个档案非常简单，就是乘客名字，没有任何其它信息，日期是1938年10月15日，哥德尔记为Goedel Dr Kurt。

哥德尔与爱因斯坦的美国移民经历很相似，实际上还有摩根斯坦，乃至冯纽曼和钱学森导师冯卡门都是同一类的美国移民--德国犹太人，希特勒上台后被迫出走，美国当然是首选，这些人又都是世界级的科学家，下面准备陆续发他们的入境/入籍档案。