ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
*Slupsk 1985年7月22日－1999年10月18日
*Walbrzych 1944年10月22日－1973年6月30日。至1945年為止為德國一部分。See Waldenburg, 德國和但澤自由市
*華沙 1946年1月5日－1973年7月1日；1983年6月1日－1995年8月31日
*弗羅茨瓦夫 1912年7月1日－1913。至1945年為止為德國一部分。See Breslau, 德國和但澤自由市
*穩城郡 （1996-2004前）
*哥德堡（1940年－1964年）
*斯德哥爾摩（1941年－1964年）
(''資料來源：網頁 http://homepage.ntlworld.com/bruce.lake/TBus_Systems/uk_trolleybus_systems.htm  2004年12月6日'')
*阿伯代爾（1914年－1925年）
*阿什頓安德萊恩（1925年－1966年）
*貝爾法斯特（1938年－1968年）
*伯明翰市（1922年－1951年）
*伯恩茅斯（1933年－1969年）
*布拉福（1911年－1972年）
*布萊頓（1939年－1961年）
*卡迪夫（1942年－1970年）
*赤斯特非（1927年－1938年）
*克里索普斯（1937年－1960年）
*達林頓（1926年－1957年）
*德比（1932年－1967年）
*唐卡斯特（1928年－1963年）
*鄧迪（1912年－1914年）
*格拉斯哥（1949年－1967年）
*格里姆斯比（1926年－1960年）
*哈利法克斯（1921年－1926年）
*海斯廷斯（1928年－1959年）
*哈德斯菲爾德（1933年－1968年）
*伊普斯維奇（1923年－1963年）
*基斯利（1913年－1932年）
*赫爾（1937年－1964年）
*利茲（1911年－1928年）
*拉內利（1932年－1952年）
*倫敦（1931年－1962年）
*梅德斯通（1928年－1967年）
*曼徹斯特（1938年－1966年）
*Mexborough & Swinton（1915年－1961年）
*紐卡素（1935年－1966年）
*諾丁漢（1927年－1966年）
*Notts & Derby（1932年－1953年）
*奧爾德姆（1925年－1926年）
*龐特普里斯（1930年－1957年）
*樸次茅斯（1934年－1963年）
*Ramsbottom（1913年－1931年）
*雷丁（1936年－1968年）
*Rhondda（1914年－1915年）
*羅瑟勒姆（1912年－1965年）
*聖海倫斯（1927年－1958年）
*濱海紹森德（1925年－1954年）
*South Lancashire（1930年－1958年）
*南希爾茲（1936年－1964年）
*斯托克波特（1913年－1920年）
*Teesside（1919年－1971年）
*沃爾索爾（1931年－1970年）
*West Hartlepool（1924年－1953年）
*維甘（1925年－1931年）
*伍爾弗漢普頓（1923年－1967年）
*約克（1920年－1935年）
*伯明翰（阿拉巴馬州）（1947年－1958年）
*小巖城（阿肯色州）（1947年－1956年）
*洛杉磯（加利福尼亞州）（1910年－1915年，1922年 demo, 1937年 demo, 1947年－1963年）
*丹佛（科羅拉多州）（1940年－1955年）
*紐黑文（康涅狄格州）(1903年 demo)
*Wilmington, Delaware（德拉瓦州）（1939年－1957年）
*Jacksonville, Florida（佛羅里達州）（electric: 1893年－1936年，a bus trolley service was revived starting in 1999年）
*Pensacola, Florida（佛羅里達州）（electric: 1898年－1932年，a bus trolley service was revived starting in 1996年）
*亞特蘭大（喬治亞州）（1937年－1963年）
*檀香山（夏威夷州）（1936年 demo, 1938年－1957年）
*芝加哥（依利諾伊州）（1930年－1973年）
*Peoria, Illinois（依利諾伊州）（1931年－1946年）
*Rockford, Illinois（依利諾伊州）（1930年－1947年）
*Fort Wayne, Indiana（印第安納州）（1940年－1960年）
*印弟安納波里斯（印第安納州）（1932年－1957年）
*Des Moines, Iowa（艾奧瓦州）（1938年－1964年）
*Topeka, Kansas（堪薩斯州）（1932年－1940年）
*Covington, Kentucky（肯塔基州）（1937年－1958年）
*Louisville, Kentucky（肯塔基州）（1936年－1951年）
*新奧爾良（路易西安那州）（1929年－1967年）
*Shreveport, Louisiana（路易西安那州）（1931年－1965年）
*巴爾的摩（馬里蘭州）（1922年－1931年，1938年－1959年）
*Assonet, Massachusetts（麻薩諸塞州）（commuter car to Fall River in the early 20th Century）
*Fairhaven, Massachusetts（麻薩諸塞州）(1915年 experimental?)
*Fall River, Massachusetts（麻薩諸塞州）
*Fitchburg, Massachusetts（麻薩諸塞州）（1932年－1946年）
*Nantucket Beach, Massachusetts（麻薩諸塞州）(1887年 demo)
*Taunton, Massachusetts（麻薩諸塞州）
*底特律（密西根州）（1921年 demo, 1924年 demo, 1930年－1937年，1949年－1962年）
*Flint, Michigan（密西根州）（1936年，1937年－1956年）
*Duluth, Minnesota（明尼蘇達州）（1931年－1957年）
*明尼阿波利斯（明尼蘇達州）(1922年－1923年 experimental)
*堪薩斯城（密蘇里州）（1938年－1959年）
*Saint Joseph, Missouri（密蘇里州）（1932年－1966年）
*Camden, New Jersey（新澤西州）（1935年－1947年）
*Newark, New Jersey（新澤西州）（1935年－1948年）
*Weehawken, New Jersey（新澤西州）(1934年 demo)
*Brooklyn, New York（紐約州）（1930年－1960年）
*水牛城（紐約州）(Dec. 1949年－Jan. 1950年 demo)
*Cohoes, New York（紐約州）(1924年－1933年？1937年？)
*紐約（紐約州）(1923年 demo)
*Rochester, New York（紐約州）（1923年－1932年）
*Staten Island, New York（紐約州）（1921年－1927年）
*Greensboro, North Carolina（北卡羅來納州）（1934年－1956年）
*Akron, Ohio（俄亥俄州）（1941年－1959年）
*Cincinnati, Ohio（俄亥俄州）（1936年－1965年）
*Columbus, Ohio（俄亥俄州）（1933年－1965年）
*克里夫蘭（俄亥俄州）（1936年－1963年）
*Toledo, Ohio（俄亥俄州）（1935年－1952年）
*Youngstown, Ohio（俄亥俄州）（1936年－1959年）
*Johnstown, Pennsylvania（賓夕法尼亞州）（1951年－1967年）
*Philadelphia, Pennsylvania（賓夕法尼亞州）(1921年 demo, 1923年－2003年 suspended for one year starting June 2003)
*匹茲堡（賓夕法尼亞州）(1936年－1939年，1949年 demo)
*Scranton, Pennsylvania（賓夕法尼亞州）(1903年 demo)
*Wilkes-Barre, Pennsylvania（賓夕法尼亞州）（1939年－1947年）
*波特蘭（俄勒岡州）（1935年－1958年）
*Providence, Rhode Island（羅德島州）（1931年－1955年）
*Greenville, South Carolina（南卡羅來納州）（1934年－1956年）
*Knoxville, Tennessee（田納西州）（1930年－1945年）
*孟菲斯（田納西州）（1931年－1960年）
*達拉斯（德克薩斯州）（1945年－1966年）
*鹽湖城（猶他州）（1928年－1946年）
*Norfolk, Virginia（維吉尼亞州）(1921年 demo, 1923年 demo)
*Petersburg, Virginia（維吉尼亞州）（1923年－1926年）
*Portsmouth, Virginia（維吉尼亞州）(1923年 demo)
*-{zh-hans:里士滿; zh-hant:里奇蒙;}-（維吉尼亞州）(1921年 demo)
*Kenosha, Wisconsin（威斯康辛州）（1932年－1952年）
*Merrill, Wisconsin（威斯康辛州）(1913年 experimental?)
*密爾沃基（威斯康辛州）（1936年－1965年）
澳門大賽車博物館，是為慶祝澳門格蘭披治大賽四十週年而興建的博物館，主要介紹澳門格蘭披治大賽，位置於新口岸澳門綜藝館旁邊。
大賽車博物館建於1993年11月18日，澳門旅遊司為了慶祝澳門格蘭披治大賽40週年而設，館內的各項展品是由不同的政府部門及私人機構所提供，有多種有20多輛車壇名將的戰車，有方程式賽車、摩托車和車手們用過的物品，當中最著名的是已故車手冼拿的參賽名車和賽車服，另外也有相關格蘭披治賽車的照片、說明文章、獎項和有紀念價值的物品等。館內分成多個展區，有系統地介紹各展品與其歷史，以加深遊人對澳門格蘭披治大賽的了解，並緬懷那些曾為該賽事作出貢獻的人士和賽車手。
旅遊局為慶祝澳門格蘭披治大賽車50週年，對大賽車博物館進行重修，並對曾經為大賽車作出貢獻的傑出人物，如葉德利、杜德斯、羅路、冼拿和約翰哥斯密等進行了特別的介紹。
另外，館內設有賽車電子遊戲及世界房車錦標賽模擬駕駛器，供客人體驗東望洋賽道。
2016年，澳門政府計劃將旅遊活動中心改建為澳門格蘭披治大賽車主題博物館，博物館改建後的總面積約為16,000平方米，旅遊局以現時本澳平均建造成本，按照每平方米19,000元計算，大約需三億元預算。 2018年12月，格蘭披治大賽車主題博物館重建工程項目預算由最初的逾3億元增至8.3億元， 旅遊局局長文綺華回應稱是工程造價，包括內部基建及裝修項目。根據顧問公司初步預算，若按照市價購置多媒體裝置、LED互動裝置以及電影院等，最多需要這個數字。
2017年7月16日，旅遊局長文綺華表示，大賽車博物館將由原來半層擴展至整幢大樓，原有位於同大樓的旅遊活動中心及葡萄酒博物館於2017年7月1日關閉，原來預計2019年第四季重開；展品方面，部分展品如具歷史價值的賽車或現役車手的賽車等，當局正與相關單位洽談，預計將斥資三千萬元，期望可增設更多互動元素和高素質的展品，加深公眾認識澳門格蘭披治大賽車的歷史。2019年11月11日，澳門特區公報，大賽車博物館未來將收取入場費，12歲至65歲以下人士的標準票價為澳門幣80元，澳門居民收費為40元，其中小童及長者等人士免費。
2020年7月27日，文綺華表示已於日前完成擴建工程的臨時驗收，正安裝內部設施，同年3月19日，旅遊局宣佈於當年四月起逐步開放與試營運，採取預約購票參觀。
2021年4月1日，澳門旅遊局發新聞稿指出，澳門大賽車博物館完成擴建工程開始局部試營運，在4月2日開放迎接公眾參觀。博物館採用預約形式分上下午兩個時段進行參觀，上午為10時至下午1時，下午為3時至傍晚6時；公眾在參觀當天均須準備早前已通過預購系統電郵傳送的二維碼截圖，在現場售票處換取入場證，此證還可於館內暢玩多媒體互動遊戲設備。重建後的澳門大賽車博物館於2021年6月1日正式開幕。
澳門格蘭披治電單車大賽
澳門格蘭披治電單車大賽區（電單車解構、英雄盃）  格電VR速感體驗
澳門格蘭披治大賽
澳門格蘭披治大賽區（名人誌、刻鑿·冼拿記念室）  回憶長廊  澳門格蘭披治三級方程式大賽區（方程式3D全接觸、車手反應挑戰、重力速度挑戰）
售票處  詢問處  入場證登記  精品廊  東望洋跑道立體模型
東望洋大賽及澳門GT盃
東望洋大賽區  賽車體驗區（賽事長知識、賽事指揮中心、車隊指揮臺、賽車空氣動力學解析、百變賽臉、頒獎臺、車手服飾影併、成績排行榜）
File:Grand Prix Museum 50815 19.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 18.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 17.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 16.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 15.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 12.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 11.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 10.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 08.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 07.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 06.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 03.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 02.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 01.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:Grand Prix Museum 50815 00.jpg |澳門大賽車博物館 The Grand Prix Museum in Macau
File:大賽車博物館7.jpg|thumb|大賽車博物館
File:大賽車博物館5.jpg|thumb|大賽車博物館
File:大賽車博物館6.jpg|thumb|大賽車博物館4
File:大賽車博物館3.jpg|thumb|大賽車博物館
File:大賽車博物館2.jpg|thumb|大賽車博物館
File:大賽車博物館1.jpg|thumb|大賽車博物館
File:大賽車博物館VR速感體驗.jpg|thumb|大賽車博物館VR速感體驗
File:VR速感體驗.jpg|thumb|VR速感體驗
*澳門旅遊局 大賽車博物館試營運宣傳片
《臺灣自救運動宣言》乃是1964年9月由國立臺灣大學政治學系教授彭明敏與其學生魏廷朝、謝聰敏所印製的一份臺灣獨立運動宣言。
1966年全美臺灣獨立聯盟（The United Formosans in America for Independence，簡稱UFAI）成立後，即利用〈臺灣人民自救運動宣言〉作臺獨宣傳，陳以德將其翻為英文，透過募款把這篇文章刊登於1966年11月20日《紐約時報》，擴大臺獨的國際宣傳。
2020年1月2日，彭明敏在《自由時報》刊登〈臺灣人民自救宣言續文〉。
雖然這份宣言是臺灣獨立運動史上的一項重要文件，但是，關於這項文件的正式名稱，卻似乎在既存文獻中可以找到極多不同的版本。當這個宣言的摘要經由「全美臺灣獨立聯盟（United Formosans in America for Independence） 」的努力，在1966年第一次以廣告的方式出現在西方媒體——紐約時報——時，它在註解內所列出的名稱是「Declaration of Formosans」（只有英文名稱）(李逢春等 1984，41)。Cohen and Teng (1990, 93)也將這份文件的名稱列為「Declaration of Formosans」（只有英文名稱）。
但是在彭明敏的英文版回憶錄中，他將這份文件稱作「臺灣自救運動宣言」，後面附上的英文翻譯是「A Declaration of Formosan Self-salvation」(Peng 1972, 127)。然而，在中文版的回憶錄中，卻又出現了這份文件另外兩個不同的中文名稱——「臺灣人民自救運動宣言」（彭明敏 1984，118，119）及「臺灣人自救運動宣言」（彭明敏 1984，129）。在1994年出版的《彭明敏看臺灣》當中，這份文件的名稱又回到英文版回憶錄中所列的「臺灣自救運動宣言」（彭明敏文教基金會 1994，187-98）。綜觀這些不同的名稱，英文版回憶錄中的「臺灣自救運動宣言」似乎是比較一致的用法(Shu 2005, 232, note 158)。
在第二次世界大戰後，臺灣由中華民國政府自日本手中接管，臺灣人民對此滿懷期待，但後來，臺灣在行政上仍然維持著與日治時期相同的專制，並未把民主制度落實在臺灣。此外，政府在政治上的表現相當腐敗、經濟狀況也未好轉，臺灣人民人心相當失望，在民怨累積下，之後爆發了二二八事件。
在國共內戰後，中華民國政府播遷至臺灣，實施戒嚴，在頒佈了動員勘亂時期臨時條款後，就此進入了動員勘亂時期，中華民國憲法也被凍結，在宣言發表當時，已經歷近20年左右的不民主統治。
指出蔣介石的「反攻大陸」政策是不可能加以實現的，並提出「一個中國，一個臺灣」及「重新制憲與尊重人權」的主張，認為臺灣有能力建立一個國家。
# 確認「反攻大陸」為絕不可能，推翻蔣政權。團結一千二百萬人的力量，不分省籍，竭誠合作，建設新的國家，成立新的政府。
# 重新制定憲法，保障基本人權，成立向國會負責且具有效能的政府，實行真正的民主政治。
# 以自由世界的一份子，重新加入聯合國與所有愛好和平的國家建立邦交，共同為世界和平而努力。
* 彭明敏案爆發後，李煥請與彭明敏來往過的李敖吃飯。李煥對李敖旁敲側擊道，聽說臺灣自救運動宣言寫得極好，「是經過你李先生指點或潤飾過的？」李敖笑答，「若是我寫的、或經我潤飾過的，一定更好。」李敖沒看過臺灣自救運動宣言中文版，只有謝聰敏搞來的英文譯本，然而李敖因忙而未看；結果警總抄家時將英文譯本搜去，並誣指李敖為臺獨聯盟本部委員。
* 李敖在接受訪問時曾表示，確信臺灣自救運動宣言的英文版是連戰翻譯的；並稱連戰當時是在美國的臺獨分子，後來才投降回臺。
* 2015年6月9日李敖在中天新聞臺《中天青年論壇》說，臺灣自救運動宣言只有兩條分別寫到臺灣應加入聯合國及臺灣應成立一個國家，「只有這兩條好像是跟臺灣獨立有關係」，其他都是有關自由民主；但傳到日本，被臺獨人士改為臺灣獨立宣言，歷史被改寫了，「其實根本沒有臺獨」。
(按照作者姓氏通用拼音順序排列)
*Cohen, Marc J., and Emma Teng. eds. 1990. ''Let Taiwan Be Taiwan''. Washington, D.C.: Center for Taiwan International Relations.
*Peng, Ming-min. 1972. A'' Taste of Freedom: Memoirs of A Formosan Independence Leader''. New York: Holt, Rinehart and Winston.
*彭明敏，1984，自由的滋味：彭明敏回憶錄。Irvine，Calif.：臺灣出版社。
*彭明敏文教基金會編，1994，彭明敏看臺灣。臺北：遠流。
*Shu, Wei-Der. 2005. Transforming National Identity in the Diaspora: An Identity Formation Approach to Biographies of Activists Affiliated with the Taiwan Independence Movement in the United States. Ph.D. diss., Syracuse University.
* 「臺灣自救運動宣言」全文 |  Declaration of Formosan Self-Salvation 英文原文
* 謝聰敏：面對鴿派的獨裁者 自救運動三十年感言
* 邱垂亮：都是民主的滿圓 紀念《臺灣人自救宣言》三十週年
龍華寺是座落于中國上海市徐匯區的一座佛教寺廟。歷經戰亂，重建修復，今龍華寺的建筑建于清朝光緒年間。上海四大佛寺之一。
始建于三國吳大帝赤烏年間，為孫權孝敬其母而建造，唐時被毀，北宋初吳越王重建。北宋治平元年改名空相寺。在元末明初寺院再次被摧毀。明朝永樂年間重建，稱龍華寺；嘉靖三十二年賜名萬壽慈華禪寺；萬歷年間賜毗盧遮那佛像、金印等。清朝順治年間，臨濟宗第三十二世韜明禪師任寺院住持，清朝咸豐、同治年間又遭兵焚，經過僧俗的募捐修復，從清朝光緒元年至二十五年間修復寺院。1977年，入選上海市文物保護單位。
龍華塔位于現今的龍華寺外，為八角磚木塔。總高七層，每層八面。相傳始建于東吳時期，現存結構建成于北宋。該塔在歷史上進行過多次整修，但在歷代整修過程中被添加了大量非宋代風格的結構。1949年以后，這些后來添加的結構被先后拆除，并依照宋代風格重建，基本恢復了塔的原貌。2006年5月25日，該塔單獨被國務院公布為第六批全國重點文物保護單位。
彌勒殿內供奉彌勒菩薩像。
天王殿內供奉四大天王像。
大雄寶殿內供奉三尊金身佛像：毗盧遮那佛、文殊菩薩、普賢菩薩。內有一口古鐘，于明朝萬歷十四年鑄造。大殿前供奉二十諸天，大殿后供奉十六羅漢。釋迦牟尼佛像背后是一幅海島壁塑，描繪的是善才童子求法圖，海島壁有觀世音菩薩像。
三圣殿內供奉阿彌陀佛、觀世音菩薩和大勢至菩薩的金身佛像。殿內有前任龍華寺方丈明旸法師和已故中國佛教協會首任會長圓瑛法師的手跡。
方丈接待和說法的地方，通常外賓禁止入內。
藏經樓內收集有各種版本大藏經和佛教經籍，以及法器、古玩、歷史珍貴文物等。
鐘樓高三層，懸掛青龍晚鐘，其鐘建于清光緒二十年。
古代計時，擊鼓，敲鐘的地方。
切消定理（cut-elimination theorem (or Gentzen's Hauptsatz)）是確立相繼式演算重要性的主要結果。它最初由格哈德·根岑在他的劃時代論文《邏輯演繹研究》對分別形式化直覺邏輯和經典邏輯的系統LJ和LK做的證明。切削定理聲稱在相繼式演算中，擁有利用了切規則的證明的任何判斷，也擁有無切證明，就是說，不利用切規則的證明。
相繼式是與多個句子有關的邏輯表達式，形式為""，它可以被讀做"A, B, C, 證明N, O, P"，并且（按Gentzen的注釋）應當被理解為等價于真值函數"如果（A & B & C ）那么（N or O or P）"。注意LHS（左手端）是合取（and）而RHS（右手端）是析取（or）。LHS可以有任意多個公式；在LHS為空的時候，RHS是重言式。在LK中，RHS也可以有任意數目的公式--如果沒有，則LHS是個矛盾，而在LJ中，RHS只能沒有或有一個公式：在右緊縮規則前面，允許RHS有多于一個公式，等價于容許排中律。注意，相繼式演算是相當有表達力的框架，已經為直覺邏輯提議了允許RHS有多個公式的相繼式演算，而來自Jean-Yves Girard的邏輯LC得到了RHS最多有一個公式的經典邏輯的更加自然的形式化；邏輯和結構規則的相互作用是它的關鍵。
"切"是在相繼式演算的正規陳述中的一個規則，并等價于在其他證明論中的規則變體，給出
就是說，在推論關系中"切掉"公式"C"的出現。
切消定理聲稱（對于一個給定的系統）使用切規則的任何相繼式證明也可以不使用這個規則來證明。如果我們認為是一個定理，則切消簡單的聲稱用來證明這個定理的引理可以被內嵌（inline）。在這個定理的證明提及引理的時候，我們可以把它代換為的證明。因此，切規則是可接納的。
對于用相繼式公式化的系統，分析性證明是不使用切規則的證明。這種證明典型的會很長，當然沒有必要這么做。在散文《不要消除切呀!》中，George Boolos展示了可以使用切在一頁中完成的推導，而它的分析性證明要耗盡宇宙的壽命來完成。
這個定理有很多豐富的推論。一旦一個系統被證明有切消定理，這個系統通常立即就是一致的。這個系統通常也有子公式性質，這是達成證明論語義的重要性質。切削是證明插值定理的最強力工具。基于歸結原理的完成證明查找的可能性，導致Prolog編程語言的本質洞察，依賴于在適當的系統中接納切規則。
在數理邏輯中，演繹定理聲稱如果公式 F 演繹自 E，則蘊涵 E &rarr; F 是可證明的(就是或它可以自空集推導出來)。用符號表示，如果 ，則 。
演繹定理可以推廣到假定公式的可數序列，使得從
演繹定理是元定理: 在給定的理論中使用它來演繹證明，但它不是這個理論自身的一個定理。
演繹元定理是最重要的元定理之一。在某些邏輯系統中，它被接受為是“→”的介入規則的一個推理規則。在其他系統中，從公理證明它是證明這個邏輯是完備的首要任務。不使用演繹元定理在命題邏輯中證明任何東西都是非常困難的。如果你使用了它通常就很容易了。
“證明”公理 1: P→(Q→P)
**Q→P 4. 演繹自 2 到 3
*P→(Q→P) 5. 演繹自 1 到 4 QED
“證明”公理 2: (P→(Q→R))→((P→Q)→(P→R))
**P→(Q→R) 1. 假設
****Q 4. 肯定前件 3,2
****Q→R 5. 肯定前件 3,1
****R 6. 肯定前件 4,5
***P→R 7. 演繹自 3 到 6
**(P→Q)→(P→R) 8. 演繹自 2 到 7
*(P→(Q→R))→((P→Q)→(P→R)) 9. 演繹自 1 到 8 QED
使用公理 1 證明 ((P→(Q→P))→R)→R:
**(P→(Q→P))→R 1. 假設
**P→(Q→P) 2. 公理 1
**R 3. 肯定前件 2,1
*((P→(Q→P))→R)→R 4. 演繹自 1 到 3 QED
從例子中，我們可以見到已經我們的正常公理化邏輯增加了三個虛擬(或額外和臨時)的推理規則。它們是“假設”、“重復”和“演繹”。正規的推理規則(比如“肯定前件”和各種公理)仍是可用的。
1. 假設向那些已經獲得的前提增加一個額外的前提的步驟。所以，如果你的前面步驟 S 演繹為:
則你增加另一個前提 H 并得到:
這符號化了從第 n 層縮進移進到第 n+1 層：
2. 重復是重新使用前面的步驟的一個步驟。在實踐中，這只在你希望采用一個不是最近假設的假設，并把它用為在演繹步驟之前的最終步驟的時候才是需要的。
3. 演繹是你去除最近假設(仍可用)并把它前綴于前面步驟的步驟。這被展示為下面這樣的去縮進一層:
**......... (其他步驟)
在公理化版本的命題邏輯中，通常有著公理模式和推理規則(這里的 P、Q 和 H 可以被替換為任何命題)：
*公理 2：(H→(P→Q))→((H→P)→(H→Q))
*推理規則肯定前件：從 P 和 P→Q 推出 Q
從這些公理和推理規則你可以快速的演繹出定理模式 P→P (參見命題演算)。選擇這些公理模式使你能夠容易的從它們推導出演繹定理。可以通過使用真值表驗證來證實它們為重言式，而肯定前件保持真理。
假如我們有了 Γ 與 H 證明 C，并且我們希望證實 Γ 證明 H→C。對于在演繹中的每個步驟 S:
* 如果這個步驟是在 Γ 中的前提(重復步驟)或一個公理，我們可以應用肯定前件于公理 1：S→(H→S)，來得到 H→S。
* 如果這個步驟是 H 自身(假設步驟)，我們應用這個定理模式來得到 H→H。
* 如果這個步驟是應用肯定前件于 A 和 A→S 的結果，我們首先確保它們已經被轉換成 H→A 和 H→(A→S)，并接著采用公理 2：(H→(A→S))→((H→A)→(H→S))，并應用肯定前件來得到 (H→A)→(H→S)，并接著再次應用來得到 H→S。
在這個證明的結束處我們有了所需要的 H→C，除了它現在只依賴于 Γ 而不再依賴于 H 之外。所以這個演繹步驟將消失，合并到是從 H 推導出的結論的前面步驟中。
為了最小化結果證明的復雜性，在轉換之前要進行某些預處理。實際上不依賴于 H 的任何步驟(除了結論)都應當被移動到假設步驟之前并去縮進一個層次。并且任何其他不必要步驟(不用來得到結論或可以被繞過的)，比如不是結論的重復應當除去。
在轉換期間，在演繹開始處(緊接著 H→H 步驟之后)放置所有的對公理 1 的肯定前件應用可能是有用的。
在轉換肯定前件的時候，如果 A 在 H 的范圍之外，則必須應用公理 1：A→(H→A)，和肯定前件來得到 H→A。類似的，如果 A→S 在 H 的范圍之外，應用公理 1：(A→S)→(H→(A→S)) 和肯定前件來得到 H→(A→S)。做這二者不是必須的，除非肯定前件步驟是結論，因為二者都在這個范圍之外，那么肯定前件應當已經被移動到 H 之前并且因此也在這個范圍之外。
在Curry-Howard同構下，上述對演繹元定理的轉換過程類似于從lambda 演算項到組合子邏輯項的轉換過程，這里的公理 1 對應于 K 組合子，而公理 2 對應于 S 組合子。注意 I 組合子對應于定理模式 P→P。
要展示如何把自然演繹轉換成公理化形式的證明，我們應用它于重言式 Q→((Q→R)→R)。實際上，知道可以這么做通常就足夠了。我們通常使用自然演繹形式來替代更長的公理化證明。
首先，我們寫使用自然演繹的證明:
***R 3. 肯定前件 1,2
**(Q→R)→R 4. 演繹自 2 到 3
*Q→((Q→R)→R) 5. 演繹自 1 到 4 QED
其次，我們轉換內層的演繹為公理化證明:
*(Q→R)→(Q→R) 1. 定理模式 (A→A)
*((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 2. 公理 2
*((Q→R)→Q)→((Q→R)→R) 3. 肯定前件 1,2
*Q→((Q→R)→Q) 4. 公理 1
**(Q→R)→Q 6. 肯定前件 5,4
**(Q→R)→R 7. 肯定前件 6,3
*Q→((Q→R)→R) 8. 演繹自 5 到 7 QED
第三，我們轉換外層的演繹為公理化證明:
*((Q→R)→Q)→((Q→R)→R)→Q→(((Q→R)→Q)→((Q→R)→R)) 5. 公理 1
*Q→(((Q→R)→Q)→((Q→R)→R)) 6. 肯定前件 3,5
*Q→(((Q→R)→Q)→((Q→R)→R))→(Q→((Q→R)→Q)→Q→((Q→R)→R))) 7. 公理 2
*Q→((Q→R)→Q)→Q→((Q→R)→R)) 8. 肯定前件 6,7
*Q→((Q→R)→R)) 9. 肯定前件 4,8 QED
這三個步驟可以簡潔的使用Curry-Howard同構表述為:
*首先，在 lambda 演算中，函數 f = λa. λb. b a 有類型 q → (q → r) → r
*其次，通過在 b 上的 lambda 除去，f = λa. s i (k a)
*第三，通過在 a 上的 lambda 除去，f = s (k (s i)) k
這個定理的逆命題也成立。它從是蘊涵除去規則的肯定前件立即得出。
*  Introduction to Mathematical Logic by Vilnis Detlovs and Karlis Podnieks   Podnieks is a comprehensive tutorial.  See Section 1.5.
霍爾蘭的 RIASEC 六邊形，其可以被對映到數據、想法以及事情、人文的兩個維度上。
霍爾蘭六邊形（)，又名霍爾蘭職業類型論，是由心理學家約翰·霍爾蘭(又譯''霍蘭德'')於1990年發明，主要應用於生涯規劃及職業輔導，藉以協助受測者了解自己人格特質，並選擇能反映個人人格特質的職業
霍爾蘭最初是將他的六種類型分為「運動型、智力型、審美型、支持型、說服型和順從型」。隨著理論的發展，他後來就將其改成了「實做型（做事者）、研究型（思考者）、藝術型（創造者）、社會型（幫助者）、企業型（說服者）和事務型（組織者）」。霍爾蘭的六種類型彼此存在著一些相關性。他也在其理論中說道「職業的選擇是一種個性的表達」。
''喜歡面對「事」，對需要運動協調、技能和力量的工作感興趣。解決問題的方法是實際去做，而非坐下來談論或思考它。偏好具體方法而非抽象理論。例如：''
''喜歡面對「事」及「想法」。喜歡思考與觀察而非行動；喜歡組織並理解信息，而非說服。例如：''
''喜歡面對「想法」及「人」  。傾向有創造力、開放、創新性、原創性、洞察力、敏銳、獨立和情緒。他們反對結構及規則，但享受跟人或體力有關的任務。他們往往比其他類型的人更情緒化。例如：''
''喜歡面對「人」，並在教學與助人時感到滿足。相較於變得很聰明或富有，他們往往更對於與人的親密關係感到興趣。例如：''
''喜歡面對「人」及「數據」。他們往往是善於言談的人，並用此技巧來領導或說服人。重視名譽、權力、金錢和地位。例如：''
''喜歡面對「事」及「數據」。喜歡規則與規範，並強調自我控制；不喜歡無結構或含糊不清的工作或人際關係。重視名譽、權力和地位。例如：''
*邁爾斯-布里格斯性格分類法（Myers-Briggs Type Indicator）
*  搜狐：興趣測驗和能力傾向測驗的發展
*  Holland's Self Directed Search
* Ohio Learning Network
* Minnesota Careers
* North Carolina SOICC
* '' The Arbitrary Nature of Holland's RIASEC Types: A Concentric-Circles Structure''
*  宣道會陳朱素華紀念中學：升學擇業小組：個人升學／職業前景導向調查
*  Castleton State College
*  Kansas State
*  U.C. Berkeley
*  University of Southern Indiana
分類:激勵理論
分類:個人發展
分類:性格分類蘇鑰機(SO Y.K., Clement)，香港新聞社會學專家，曾任香港中文大學新聞與傳播學院，專門作從社會學的角度去研究各地社會的傳媒生態的研究。他現時是《傳媒生態調查報告》的主持人，每年都會就香港及中國大陸的傳媒生態發表報告，並推測社會發展形勢。
蘇鑰機早年畢業於官塘循道學校及青年會書院，其後升讀香港中文大學，修讀社會學學士、傳播哲學碩士。之後，他前往美國賓夕法尼亞大學的安那堡傳播學院深造，並取得傳播哲學博士。
畢業後，蘇鑰機曾任加拿大溫哥華《明報》副總編輯、《世界日報》記者及電視廣播有限公司的市場研究員。之後加入香港中文大學新聞與傳播學院成為助理教授，之後晉升為副教授、教授，曾任新聞與傳播學院院長，於2011年9月1卸任。
蘇鑰機的研究主要在香港的傳媒生態，從新聞社會學的角度，透過從香港的報章新聞及評論，去推測當前的社會生態環境，每年都會就香港及中國大陸的傳媒生態發表報告，並推測社會發展形勢。
2010年，蘇鑰機與張宏艷、譚蕙蕓和李玉茹等香港資深傳媒人，聯同新聞教育基金與香港中文大學新聞與傳播學院，推出一百四十一個本港新聞從業員撰寫的《一人一故事》。2013年，再推出《一人又一故事》，並且擔任主編。
*  香港中文大學新聞與傳播學院網頁
category:香港人
category:香港中文大學校友
category:青年會書院校友
埃爾福特市區
埃爾福特（，）是德國中部的一個城市。它是圖林根州的首府，并是一個有196,500人口的制造業中心。
埃爾福特東北100公里是萊比錫，向西113公里是卡塞爾和向西北180公里是漢諾威。向外聯系則可從慕尼黑轉機往埃爾福特機場。
埃爾福特位于圖林根盆地的南部邊緣，位于溫斯特魯特河支流格拉河的寬闊山谷中。市區南部是（Steigerwald）。市區南北延伸距離約為21公里，東西為22.4公里。因為介于盆地跟森林的地形，埃爾福特北部海拔較低（158米），東南海拔最高（430米）。當地最重要的格拉河流經市區和東部，最終流入易北河。
埃爾福特東側是魏瑪，西側是哥達，南側是阿恩施塔特，北側是瑟默達，這四個城市距離埃爾福特都是20公里。附近比較大的城市包括萊比錫、哈勒、耶拿、卡塞爾、哥廷根、法蘭克福和紐倫堡。由于埃爾福特位于德國地理中心東南方約50公里，因此可以稱之為德國的“中心城市”。跟德國東部的很多城市類似，埃爾福特沒有明顯的郊區，也不存在大都會區。不過埃爾福特與魏瑪、耶拿等城市具有相當密切的聯系，并構建了各種區域合作體系。所以說埃爾福特的定位介于大都會區中心城市和區域中心城市之間。
埃爾福特在二戰期間受到的損失較少，因此遺留下來眾多建筑物，城區也顯得相對擁擠。埃爾福特的空地也得到了妥善的重建，并且在郊區設立了一些休閑區域，比如說施泰格森林以及等等，市區還有兩片森林，分別是東南部的維爾羅德森林（Willroder）和西北部的夏德羅德森林（Schaderoder Grund）。其他的一些未開發區域主要用于農業耕作。城市北部還有，由多個小型的礫石坑湖組合而成。
埃爾福特的氣候特點跟它所處的地理位置有重大關系，它正好介于圖林根盆地南端，同時周圍是圖林根森林的低海拔山脈，這些山脈會產生，導致當地氣候相當干旱。根據當地氣象臺的氣象記錄，埃爾福特年平均降雨量僅為500毫米，與哈雷、馬格德堡一同成為德國最干旱的城市。一般來說，最干燥的月份是在1月份，而主要的降雨月份是在6月，是1月降雨量的2.7倍。1961年到1990年，埃爾福特年平均氣溫為7.9℃。
埃爾福特附近最早的人類定居遺跡可以追溯到公元前100000年的舊石器時代，并且延續到了新石器時代。2000年在修建聯邦高速公路的時候在埃爾福特西側的弗里恩施泰特（Frienstedt）發現了一個大型的日耳曼人定居點遺址，時間預計到480年左右。2001年到2003年，對這個遺址進行了系統的挖掘，發現有200多枚羅馬時代的硬幣，還有150枚羅馬陶器的碎片，200多根腓骨。最重要的發現是在祭祀豎井的山脊上面發現最早的古日耳曼語詞匯（盧恩字母）表記“Kaba”（梳子）。
1493年的埃爾福特
最早關于埃爾福特這個名字的記錄出現在公元742年，當地大主教圣波尼法爵（Boniface）寫給圣匝加教皇的一封信中申請確認他已經祝圣的主教和教區席位，其中提到第三個地方被稱為“Erphesfurt這個地方很久以前是異教徒農民的強化定居點……”。圣波尼法新創立的教區就被稱為“埃爾福特教區”，之后在755年與美因茨教區合并，圣波尼法就任為美因茨的大主教，雖然不完全確定，但應該存在主教教堂（可能就在現在的主教座堂的位置）。公元805年，查理大帝宣布埃爾福特為邊境貿易城市，可見其距離法蘭克帝國的邊境不遠。在接下來的加洛林王朝和奧托王朝統治下，埃爾福特建造了一座王宮，遺址應該位于現在郊外的。10世紀開始，美因茨大主教開始直接統治埃爾福特，并且一直延續到1803年。
中世紀時候，埃爾福特是歐洲東西長距離貿易的重要中轉站，梅瑟大道（Messestra?e）也被稱為，從萊比錫出發，經埃爾福特至科隆，最終抵達布拉班特公國。
埃爾福特在中世紀與猶太文化產生了重要接觸。1094年，在當地建立了舊猶太教堂，現在歐洲現存最古老的猶太教堂。1998年，在發掘的過程中，發現了著名的，其中的文物是歐洲中世紀猶太文化的最重要證據之一。1349年，第一個猶太社區。1354年第二個猶太社區出現，直到1453年左右，埃爾福特議會下令驅逐當地猶太人為止。
經過中世紀的發展，埃爾福特在14世紀和15世紀擁有18000到20000名居民，在德國境內規模可能僅次于科隆、紐倫堡和馬格德堡。中世紀的埃爾福特擁有重要的經濟、政治、文化影響力，同時也是神圣羅馬帝國的貿易中心之一。早在1331年，埃爾福特市民從皇帝路易四世手中獲得了。
從13世紀開始，埃爾福特在人文教育中產生了深遠意義，當地擁有的學生數量是德國最多的。14世紀，埃爾福特的機構是神圣羅馬帝國境內最重要的教育機構。1392年，埃爾福特大學（Universit?t Erfurt）（本名：）正式創辦，也是德國境內第三古老的大學（僅次于海德堡大學和科隆大學），如果以申辦時間1379年計算的話，則是德國最古老的大學。
埃爾福特大學最著名的畢業生之一就是宗教改革家馬丁·路德，他從1501年到1505年就讀于這所大學，并且獲得哲學系的碩士學位。宗教改革開始后，這座城市開始轉向信仰新教福音派。1521年，任命了第一名新教牧師——格奧爾格·佩茨（Georg Petz）。1577年埃爾福特正式簽署路德宗（信義宗）的協和信條。
1618年，美因茨大主教與埃爾福特市簽訂了一些協議，確認了早先授予的宗教自由權，同時擴展到埃爾福特的鄉村地區。同時也確認埃爾福特屬于美因茨大主教的私人財產，并且排除了帝國在當地的財產。在三十年戰爭中，埃爾福特遭遇嚴重破壞，并且兩次被瑞典軍隊占領，時間長達16年之久（瑞典人的統治持續到直到1650年）。三十年戰爭以威斯特伐利亞和約的簽訂宣告結束，但是并沒有給這座城市的人民帶來更多自由的權利。
1664年，美因茨選帝侯兼大主教（Johann Philipp von Sch?nborn）率領法國和帝國的聯合軍隊占領了這座城市，恢復了美因茨選帝侯的統治秩序。由美因茨大主教專門委派一名來對埃爾福特和進行統治。為了抵御當地市民的反抗和新教的影響，約翰·菲利普在原來的彼得斯貝格的遺址上面修建了一座要塞。
1682年，埃爾福特經歷了一場嚴重的鼠疫，超過半數居民死在這場災難之中。
從1526年開始，埃爾福特當地就開始獵巫行動，雖然案件檔位不全，但現在可以得到的信息是有20人被宣判為女巫，至少8人被殺。1705年，一名42歲的鵝女安娜·瑪塔·豪斯貝格（Anna Martha Hausburg）遭到酷刑、斬首和焚尸。
1754年，美因茨選帝侯在這里成立實用科學院，是德國最早成立的三個科學院之一。
根據1802年神圣羅馬帝國頒布的（德語：Reichsdeputationshauptschluss），埃爾福特和附近的鄉村地區并入普魯士王國，作為該國在萊茵河左岸失去領土的補償。不過之后拿破侖在耶拿戰役中擊敗了普魯士，法國軍隊趁勢占領了埃爾福特和附近的要塞。1807年，拿破侖宣布埃爾福特和布蘭肯海恩合并成為（Fürstentum Erfurt），屬于皇帝直轄領地，而非屬于萊茵邦聯。
1814年，普魯士、奧地利和俄羅斯的聯軍圍攻埃爾福特，這座城市陷落，法國統治時期結束。1815年，根據維也納會議的決議，埃爾福特再次歸屬于普魯士王國。不過原公國的大部分領土（包括布蘭肯海恩）被割讓給了薩克森-魏瑪-愛森納赫大公國。當地居民經過拿破侖戰爭中生活艱難，來自英國的援助基金緩解了他們的燃眉之急，也是有史以來第一次重要的人道主義援助。19世紀中后期，埃爾福特大力發展園藝和產業。1900年，埃爾福特被譽為“花之城”（Blumenstadt）。
1906年，埃爾福特人口突破10萬人，德國加入一戰之后，有3500多名埃爾福特公民在戰事中死亡。一戰結束后，新成立了，以魏瑪為首府，但是由于普魯士政府的反對，因此埃爾福特無法并包括在圖林根州內，而是繼續留在普魯士的薩克森省。1929年，全球經濟危機也波及到了埃爾福特，導致當地經濟嚴重衰退。
1933年，納粹黨控制了埃爾福特，1938年，埃爾福特是第三帝國最大的駐軍所在地。在水晶之夜中，當地的被燒毀，大約有800名猶太居民被驅逐出境。根據聯邦檔案館提供的，列出了當地447名猶太居民，他們要么被驅逐出境，要么直接謀殺。
二戰期間，來自德國占領區大約有有10000-15000名戰俘和平民被強制在該市的軍械廠進行強制勞動。
二戰后期，埃爾福特遭遇27次英國和美國空軍的空襲，特別是在1945年4月。空襲一共投下了1100噸炸彈，導致1600名平民喪生，530座建筑物被完全摧毀（包括著名的圖書館），2550座建筑物遭遇嚴重破壞。歷史悠久的埃爾福特老城遭遇的空襲導致23000人失去了家園。市中心的教堂或多或少被炸彈或者炮火擊中，其中在1944年11月被導彈炸毀，廢墟留存至今作為戰爭紀念物。1945年4月初，英國皇家空軍計劃對埃爾福特進行集中地毯式轟炸，但因為美國地面部隊的快速推進而取消。
1945年4月12日，在喬治·巴頓將軍的指揮下，美國第三集團軍成功占領了埃爾福特。7月1日，普魯士政府正式停止運作。埃爾福特被分配到了圖林根州。7月3日，根據1944年的和雅爾塔會議的決議，埃爾福特被蘇聯紅軍接管，成為蘇聯占領區的一部分。
埃爾福特開始從戰爭的余波中回逐步恢復，當時市民協助軍隊清除街上的瓦礫，重啟電車和煤氣供應。根據盟軍管制理事會第46號令的實施，普魯士邦于1947年2月25日正式解散。圖林根州議會決定以埃爾福特為圖林根州首府。不過之后在德意志民主共和國政權下，圖林根州在1952年解散，改成了三個區，其中埃爾福特是埃爾福特區的首府。
20世紀60年代，東德政府對埃爾福特市進行了大規模拆除和改造工作，在大規模建設新住宅區建筑的同時也破壞了在二戰中勉強幸存下來以教堂塔樓為特色的城鎮景觀。（Andreasviertel）也在拆除的名單上面，但最終由于市民的抗議而被擱置。
埃爾福特霍夫酒店上面的標語維利·勃蘭特來到窗前Willy Brandt ans Fenster
1970年3月，德意志聯邦共和國總理波維利·勃蘭特和德意志民主共和國部長會議主席維利·斯多夫在埃爾福特舉行。會面地點位于火車站對面。當勃蘭特出現的時候，在下面圍觀的人群高呼“維利！維利！維利·勃蘭特來到窗前！（Willy Brandt ans Fenster!）”。這個口號至今被懸掛在酒店的樓頂以示紀念。
1975年，埃爾福特城內出現了一系列排外事件，對象是受雇于多家當地企業的阿爾及利亞合同工人。德國人不僅在市中心區驅趕這群人，而且試圖用鐵條和木棍攻擊他們。
1989年秋季，東德的局勢已經很難保持穩定，埃爾福特當地也爆發了規模較大的游行示威活動，最終導向了導致東德政府垮臺的和平革命。在圖林根州重建之后，1991年州議會的表決中，超過半數的議員（49對39）支持將埃爾福特重新定為該州的首府。1994年，埃爾福特大學（Erfurter Universit?t）重建。同年，天主教埃爾福特教區重建（原為）。
德國統一之后，埃爾福特城市形象發生了重大的轉變，很多老城區的建筑都得到了翻新，并建造了新的建筑。其中魚市（Fischmarkt）的設計獲得2014年的。
2002年4月26日，埃爾福特發生了震驚世界的谷登堡中學校園槍擊案。這次槍擊案是德國第一次發生校園槍擊案。兇手是1名19歲的學生（Robert Steinh?user），他殺死了11名教師，1名見習教師，1名秘書，2名學生和1名警察，最后他選擇舉槍自盡。
從20世紀90年代以來，埃爾福特開始出現有組織犯罪團體（黑手黨組織），成員主要是來自意大利和亞美尼亞。2014年，當地黑社會涉嫌組織餐廳搶劫和縱火，以及街頭槍戰。
2016年，埃爾福特被歐洲新教共同體授予“”的榮譽稱號。
埃爾福特的人口大約在1880年超過5萬，到1906年超過10萬，成為一座主要城市。1945年12月的統計表明埃爾福特的人口是164998人。1973年，埃爾福特人口超過20萬。1989年則達到歷史最高水平的22萬人。
兩德統一后，埃爾福特人口開始下降（大約減少了2萬人），從2003年開始埃爾福特的人口開始回升。在原東德較大的城市中，埃爾福特的人口發展最為穩定。
2019年12月31日的統計數據，埃爾福特人口為214417人，其中男性104630人，女性109787人。其中外籍居民為18811人，占比為8.8%。
埃爾福特市長A·鮑澤魏因
從2009年以來，埃爾福特在德國聯邦議院的代表是（Antje Tillmann），她隸屬于基督教民主聯盟（CDU）。
埃爾福特市議會（Stadtrat）共有50個議員席位。在1990年創建之初，市議會有160個席位（德國最大的市議會）。現在的議席數量是1994年確定的。
之后，基民盟是市議會中的第一大黨（10席），其次是社會民主黨（9席），左翼黨排名第三（8席）。
從1817年開始，埃爾福特第一次設立市長的職位。他由市民直選產生。現任市長是（Andreas Bausewein），隸屬于社會民主黨，他于2006年就任至今。
馬丁·路德曾于埃爾福特大學讀書，并獲得學士和碩士學位。他以修士的身分在1505年-11年住在埃爾福特。
埃爾福特亦是巴赫其中一個侄子，約翰·伯恩哈德·巴赫（Johann Bernhard Bach，1676年-1749年）、巴赫的父親約翰·安布羅修斯·巴赫（Johann Ambrosius Bach，1645年-1695年）、埃克哈特大師（Meister Eckhart）和社會學家馬克斯·韋伯 （Max Weber，1864年-1920年）的出生地。
的新址（位于）于2003年開放。劇院一共開放座位800個，每年組織250場演出活動。也在這里進行表演。除了埃爾福特劇院以外，另有一家，提供木偶劇表演。
埃爾福特擁有不少著名的博物館，代表性的有：
* （ Stadtmuseum Erfurt），1974年開放，重點展示馬丁·路德相關的內容以及埃爾福特在中世紀晚期至現代早期的歷史。
* （ Angermuseum），成立于1886年，是埃爾福特最早開放的博物館，主要是作為藝術史博物館。展示了圖林根州最重要的中世紀藝術收藏品和20世紀眾多圖形作品和手工藝作品。還有表現主義畫家（Erich Heckel）的一些作品。
* （Naturkundemuseum Erfurt）位于魚市附近，成立于1922年，1995年遷至現址。主要是展示圖林根州的動植物群和地質信息。
* （ Deutsche Gartenbaumuseum）是egapark的一部分，成立于1961年，重點展示中歐園藝產業和園藝藝術的發展。
* （ Museum für Thüringer Volkskunde Erfurt）展示了幾個世紀以來埃爾福特和附近地區日常生活和社會文化的發展變遷。
* （Alte Synagoge）位于魚市附近，2009年開放，展示了著名的和中世紀重要的猶太著作。
（Oettinger Rockets）是德國籃球聯邦聯賽的職業籃球俱樂部，它的主場位于附屬的競技場。
埃爾福特的足球俱樂部紅白埃爾福特（FC Rot-Wei? Erfurt），曾經獲得過兩次東德頂級聯賽冠軍，目前正參加德國第四級別的東北高級聯賽，它的主場是，可容納20000名觀眾。
其他當地比較流行的體育項目包括田徑、滑冰、自行車、游泳、手球、排球和網球等。
兩德統一之后，教育系統進行了重組。1816年關閉的埃爾福特大學于1994年重建，重點關注社會科學、現代語言、人文和教師培訓領域。新的埃爾福特大學擁有6000多名學生，包括四個學院、一個高級研究中心（以社會學家馬克斯·韋伯命名）和三個學術研究機構。埃爾福特大學同時也參加國際學生交流計劃。
埃爾福特應用科學大學（Fachhochschule Erfurt）成立于1991年，提供社會工作、社會教育、商業研究以及工程等學科的培訓和實踐。一共有6個學院5000名學生，其中園林與園藝學院是德國頂尖水平。
是一所私立大學，專注于商業和經濟領域。
世界著名的包豪斯設計學院位于附近的魏瑪，成立于1919年，距離埃爾福特有20公里。包豪斯學院的建筑是德國世界遺產的一部分，目前由德國包豪斯大學使用，該大學專門教授設計、藝術、媒體、技術等相關學科。
埃爾福特還有一所體育學院（Sportgymnasium），屬于精英寄宿學校，主要培養田徑、游泳、滑冰或者足球方面的年輕俊才。
德國國家公共電視兒童頻道總部位于埃爾福特。
MDR，即中部德國廣播公司在埃爾福特設立有廣播中心和演播室。
（Thüringer Allgemeine）是一家州際性的報紙，總部位于埃爾福特。
埃爾福特大教堂
由于城內擁有眾多的教堂和修道院，埃爾福特在中世紀時期的昵稱是“圖林根的羅馬”。現在，老城區內有22座教堂（最多的時候擁有38座教堂），整個市區有30座教堂，算上郊區則有72座教堂。城中最有名的教堂就是位于教堂廣場上面的主教座堂（圣瑪利亞教堂）和，兩座教堂交相輝映，形成了壯觀的景色。主教座堂所屬的俗稱埃爾福特大鐘，是世界上最大的可以自由擺動的中世紀古鐘，在教堂重要活動的時候它會被敲響。
除此之外，建成于1231年，曾經屬于方濟會修道院。這座教堂在1944年的盟軍轟炸中大部分結構被摧毀。現在當地政府有計劃進行翻新和修復，預算高達200萬歐元。另外每年夏天在教堂的露天廢墟中會進行戲劇表演。
位于，緊鄰克雷默橋，當時作為橋頭堡有兩座教堂，但只有艾吉丁教堂留存至今。教堂內一扇無障礙大門可以直接通往克雷默橋，同時可以登上教堂的塔樓，飽覽埃爾福特老城區的景觀。
成立于1277年，與馬丁·路德關系非常密切。從埃爾福特大學畢業后，馬丁·路德加入該修道院成為修士。他在這里從1505年一直待到1511年，并在1507年被正式任命為神父。目前的奧古斯丁修道院主要作為國際會議場所。另外在夏季，在修道院的文藝復興式庭院中也會舉行音樂會或者戲劇表演。
克雷默橋（Kr?merbrücke），直譯為商人之橋，是埃爾福特最著名的旅游景點之一，這座橋建立于15世紀，橋上面被住宅建筑覆蓋，這在阿爾卑斯山以北可謂是獨一無二，目前這些房子仍在使用，主要是一些工藝品和紀念品的商店。
教堂廣場（Domplatz）是埃爾福特最大的廣場，這是德國最大的集市廣場之一。西側是主教座堂和圣西弗勒斯教堂。北側是法院，東側和南側是現代早期的貴族房屋。在每年12月，教堂廣場會舉辦圣誕市場。在夏天則會舉辦露天戲劇節。
魚市（Fischmarkt）是埃爾福特市中心的中央廣場，周圍環繞著文化復興風格的貴族房屋以及市政廳。市政廳是一座新哥特式建筑。廣場中央的雕像名為R?mer，是城市獨立的象征，豎立于1591年。
小市場（Wenigemarkt）位于格拉河東側，周圍環繞著現代早期貴族和商人的房屋。廣場周圍有各種咖啡館和酒吧。旁邊的Futterstra?e上面有一間Kaisersaal（皇帝沙龍）的大樓，主要是紀念這里在1808年舉行了拿破侖主持的。
安蓋爾（Anger）是德語中鄉村綠地的意思，是城市東部一個比較重要的廣場，幾乎所有的電車線路都連接到這里，它在20世紀成為埃爾福特新的市中心，擁有很多非常重要的建筑。北側是郵局，東北部有馬丁·路德的紀念碑，建立于1889年。著名的“Anger 1”百貨大樓位于此地，另外還有埃爾福特藝術史博物館（也稱為安蓋爾博物館）。廣場的西側是19世紀后期建立的一些大型企業。
維利·勃蘭特廣場是中央車站通往市中心的必經之路，以西德前總理勃蘭特命名，著名的埃爾福特霍夫酒店就位于這里。1970年著名的兩德埃爾福特峰會就在酒店里舉行。廣場西側是舊埃爾福特車站的相關建筑，包括鐘樓和圖林根鐵路公司的舊辦公室。
彼得斯貝格要塞
從1066年開始，埃爾福特就修建了一道堅固的城墻保衛自己，到1168年，城墻延伸到了現在彼得斯貝格山的西側。
1871年德國統一之后，埃爾福特成為德意志帝國的一部分，附近的薩克森王國和巴伐利亞王國都不再是威脅，因此當局決定拆除城墻。目前只剩下一小段殘存的城墻遺跡。
是歐洲最大且保存最完好的城市要塞之一，占地36公頃，位于市中心西北部，它建立于1665年，直接位于彼得斯貝格山上，一直以來作為軍事據點而使用，直到1963年為止。1990年開始，市政府對其進行了修復工作，并且作為歷史遺跡而向公眾開放。
農業在埃爾福特擁有悠久的歷史傳統。中世紀，此地主要種植禾木。進入近代之后，園藝產業和育種產業得到了重點的發展，至今仍然對當地經濟的貢獻仍然十分重要。埃爾福特的農業用地還用來種植各種水果（蘋果、草莓等）和蔬菜（花椰菜、土豆等）。