比浏览器更快的访问！
74 关系: 加州大学洛杉矶分校，加利福尼亚州，加利福尼亞大學，华沙，华沙大学，反犹太主义，威拉德·冯·奥曼·蒯因，实数，射影几何，巴黎，巴拿赫-塔斯基悖论，布尔代数，一阶逻辑，亚里士多德，二元关系，库尔特·哥德尔，代数逻辑，伦敦大学学院，伯克利，伯克利分校，伯特兰·罗素，圆柱代数，命题逻辑，哈佛大学，内部代数，几何学，关系代数，元数学，皮亚诺公理，犹太人，球 (数学)，理查德·蒙塔古，科學統一論，第二次世界大战，納粹，維也納，纽约市立学院，维也纳大学，维也纳学派，罗马天主教，美國，美国，美国国家科学院，群论，瓦茨瓦夫·谢尔宾斯基，生物学，物理学家，语言哲学，鲁道夫·卡尔纳普，阿隆佐·邱奇，...，肯尼斯·約瑟夫·阿羅，量詞消去，逻辑，逻辑学家，T-模式，抽象代数，柏克萊加州大學，格 (数学)，模型论，波兰，波蘭會議王國，波蘭戰役，戈特洛布·弗雷格，测度，斯特凡·巴拿赫，无神论，数学，数学基础，数学家，数学哲学，数理逻辑，扬·武卡谢维奇，拓扑学，普林斯顿高等研究院。 扩展索引 (24 更多) »
加州大学洛杉矶分校
#重定向 加利福尼亚大学洛杉矶分校.
新！!: 阿尔弗雷德·塔斯基和加州大学洛杉矶分校 · 查看更多 »
加利福尼亚州
加利福尼亚州（State of California），簡稱加州，是美国西部太平洋沿岸的一个州。面積位列美國第三；人口為3,930萬，位列美國各州第一。州首府是沙加緬度。在地理、地貌、物產、人口構成方面都具有多样化的特點。加州有一别名叫做“金州”（The Golden State），邮政缩写是CA，此外尚有英文昵称为Cali。 大洛杉矶地区及舊金山灣區分別為美國第二及第五大都會區，人口分別為1,870萬及880萬人。洛杉矶為加利福尼亞州，且為美國第二大城市，僅次於纽约。洛杉矶县為；聖貝納迪諾縣為美國面積最大的縣。 加利福尼亞州地區生產總額達$2.67兆美元，居各州第一位。與國家相比，加利福尼亞州位居世界第五大經濟體，人口居世界第36位。大洛杉矶地区及舊金山灣區為美國第二及第三大都會區經濟體。舊金山灣區為美國人均生產總額最高的地區，世界市值前十大公司有4家總部位於此地區，世界前十大富豪有4位亦居住於此地區。.
新！!: 阿尔弗雷德·塔斯基和加利福尼亚州 · 查看更多 »
加利福尼亞大學
加利福尼亞大學（University of California），简称加州大学（UC），是美國加州的一个公立大學系统。它是组成加州公立高等教育体系的三个大学系统之一。另两部分分别是加利福尼亞州立大學系統和。相对其他两个系统，加大更注重高等研究領域，屬性上屬研究型大學。 加州大學系統總共有十個校區。加州大學也簽約管理三個美國能源部的國家實驗室。它拥有的诺贝尔奖得主不少于120位。美国国家科学院院士357位，佔美国国家科学院总院士2039位的近1/5；拥有全职学生23.8多万人，有6所加州大学为美國大學協會成员。.
新！!: 阿尔弗雷德·塔斯基和加利福尼亞大學 · 查看更多 »
华沙
華沙（Warszawa ）是波蘭首都及最大城市，位於維斯拉河兩岸，距波羅的海和喀爾巴阡山脈大約350公里。2008年人口數字爲1,707,983人，都市圈人口大約2,785,000人。城市面積512平方公里，都市圈面積12266平方公里。冷戰時期著名的華沙公約就是於此簽署的。 该市也是马佐夫舍省的省会，拥有许多工业企业（制造、钢铁、电气工程、自动工业），66所高等学府（包括华沙大学），和超过30家剧院。.
新！!: 阿尔弗雷德·塔斯基和华沙 · 查看更多 »
华沙大学
华沙大学是波兰最大的大学，被《泰晤士高等教育》于2006年评为世界500强大学之一，2007年被波兰报纸评为波兰最好的高校。2016年英国泰晤士大学排名将华沙大学列为“欧洲最好的100所大学”中，并将其列为第61位。.
新！!: 阿尔弗雷德·塔斯基和华沙大学 · 查看更多 »
反犹太主义
反犹太主义是一種意識型態，對於对仇恨犹太人或犹太教的思想与行为的总称，在各个不同历史时期有不同的动机和表现形式。反犹太主义在世界各地有犹太人生活的地方皆存在，在歐洲、亞洲及阿拉伯也有。 「反猶太主義」的原文（Antisemitism、Anti-Semitism 或 anti-semitism）直譯為反閃族主義。在字面意義上，反閃族主義是對於所有閃族的反感情緒，虽然犹太人与阿拉伯人同属闪米特人，但是這個名詞在歐洲特指對於猶太人的仇恨情緒。這個名詞在1873年首次在德國出現，同義詞是「仇恨猶太人者」（Judenhass，Jew-hatred）。.
新！!: 阿尔弗雷德·塔斯基和反犹太主义 · 查看更多 »
威拉德·冯·奥曼·蒯因
威拉德·冯·奥曼·蒯因（Willard Van Orman Quine，），20世纪最有影响的美国哲学家、逻辑学家之一。出生富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入歐柏林大學，1930年得數學與哲學學士，1932即於哈佛大學取得哲學博士學位。奎因在哈佛大學任教時為全校薪金最高的教職員。.
新！!: 阿尔弗雷德·塔斯基和威拉德·冯·奥曼·蒯因 · 查看更多 »
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
新！!: 阿尔弗雷德·塔斯基和实数 · 查看更多 »
射影几何
在數學裡，投影幾何（projective geometry）研究在投影變換下不變的幾何性質。與初等幾何不同，投影幾何有不同的設定、投影空間及一套基本幾何概念。直覺上，在一特定維度上，投影空間比歐氏空間擁有「更多」的點，且允許透過幾何變換將這些額外的點（稱之為無窮遠點）轉換成傳統的點，反之亦然。 投影幾何中有意義的性質均與新的變換概念有關，此一變換比透過變換矩陣或平移（仿射變換）表示的變換更為基礎。對幾何學家來說，第一個問題是要找到一個足以描述這個新的想法的幾何語言。不可能在投影幾何內談論角，如同在歐氏幾何內談論一般，因為角並不是個在投影變換下不變的概念，如在透視圖中所清楚看到的一般。投影幾何的許多想法來源來自於對透視圖的理論研究。另一個與初等幾何不同之處在於，平行線可被認為會在無窮遠點上交會，一旦此一概念被轉換成投影幾何的詞彙之後。這個概念在直觀上，正如同在透視圖上會看到鐵軌在水平線上交會一般。有關投影幾何在二維上的基本說明，請見投影平面。 雖然這些想法很早以前便已存在，但投影幾何的發展主要還是到19世紀才開始。大量的研究使得投影幾何變成那時幾何的代表學科。當使用複數的坐標（齊次坐標）時，即為研究複投影空間之理論。一些更抽象的數學（包括不變量理論、代數幾何義大利學派，以及菲利克斯·克萊因那導致古典群誕生的愛爾蘭根綱領）都建立在投影幾何之上。此一學科亦吸引了許多學者，在綜合幾何的旗幟之下。另一個從投影幾何之公理化研究誕生的領域為有限幾何。 投影幾何的領域又可細分成許多的研究領域，其中的兩個例子為投影代數幾何（研究投影簇）及投影微分幾何（研究投影變換的微分不變量）。.
新！!: 阿尔弗雷德·塔斯基和射影几何 · 查看更多 »
巴黎
巴黎（Paris）是法國的首都及最大都市，同時是法蘭西島大區首府，為法國的政治與文化中心，隸屬法蘭西島大區之下的巴黎省（編號第75省；僅轄有1個同名市鎮）。目前的巴黎市轄區範圍大致為舊巴黎城牆內（環城大道內側），依照發展歷史共分成20個區，自從1860年代開始就沒有重大變化。截至2011年為止，巴黎市内人口超過225萬，的人口則逾1,229萬，是歐洲最大的都會區之一。 巴黎在近1,000年的時間内是西方最大的城市，也曾經是世界上最大的城市（16世紀至19世紀期间）。目前是世界上最重要的政治和文化中心之一，在教育、娛樂、時尚、科學、媒體、藝術、金融、政治等方面皆有重大影響力，被認為是世界上最重要的国际大都会之一.
新！!: 阿尔弗雷德·塔斯基和巴黎 · 查看更多 »
巴拿赫-塔斯基悖论
#重定向 巴拿赫-塔斯基定理.
新！!: 阿尔弗雷德·塔斯基和巴拿赫-塔斯基悖论 · 查看更多 »
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
新！!: 阿尔弗雷德·塔斯基和布尔代数 · 查看更多 »
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 阿尔弗雷德·塔斯基和一阶逻辑 · 查看更多 »
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
新！!: 阿尔弗雷德·塔斯基和亚里士多德 · 查看更多 »
二元关系
数学上，二元关系（Binary relation，或简称关系）用於讨论两种物件的连系。诸如算术中的「大於」及「等於」、几何学中的「相似」或集合论中的「为……之元素」、「为……之子集」。.
新！!: 阿尔弗雷德·塔斯基和二元关系 · 查看更多 »
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 阿尔弗雷德·塔斯基和库尔特·哥德尔 · 查看更多 »
代数逻辑
在數理邏輯中，代數邏輯使用抽象代數方法形式化邏輯。.
新！!: 阿尔弗雷德·塔斯基和代数逻辑 · 查看更多 »
伦敦大学学院
倫敦大學學院（University College London；縮寫：UCL）為一所坐落於英國倫敦的公立研究型大學。學院最初於1826年，由湯瑪斯·坎貝爾及以“倫敦大學”（London University）之名創立，是倫敦市第一所高等學府，且為全英首間不拘學生性別及宗教背景的世俗高校。雖沒有直接介入學校的建設，但哲學家傑里米·邊沁對教育的理念啟發了創辦者，故獲譽為“倫大教父”。1836年，以書院聯邦制正式成立倫敦大學(The University of London)，學校改名為“倫敦大學學院”，與-zh:倫敦國王學院;zh-cn:伦敦国王学院; zh-sg:伦敦国王学院; zh-tw:倫敦國王學院; zh-hk:倫敦英皇學院; zh-mo:倫敦英皇學院;-(King's College London)成為了此大學的兩位始創成員學院。學校隨後迅速發展並與多所專科院校合併，也在英格蘭開創了不少高校學系。 倫敦大學學院共設11所學術學院，擁有超過100個學術科系與研究中心。其本部位於倫敦市中心的布盧姆茨伯里區，另設兩所分別坐落於澳大利亚及卡塔爾的衛星校園。雖隸屬倫敦大學聯邦，但學院本身擁有包括獨立頒授學位的高度自治權，故性質與一般大學無異。倫大學院為英國其中一所“金三角名校”，亦是建立的11所生物醫學研究基地及多個科技聯盟的始創者之一。 倫敦大學學院為英國最難入讀的學府之一，亦在多個世界大學排行榜上位居全球前二十，全英四強之列。校內現有17間圖書館、9所博物館及收藏區，館藏涵蓋不同學術範疇。此校的師生、校友包括了34名諾貝爾獎得主、3位菲爾茲獲獎者、多名政治要員與組織領袖及數位著名文藝人。.
新！!: 阿尔弗雷德·塔斯基和伦敦大学学院 · 查看更多 »
伯克利
伯克利（Berkeley），或譯貝克萊、貝克利或柏克萊，可以指：.
新！!: 阿尔弗雷德·塔斯基和伯克利 · 查看更多 »
伯克利分校
#重定向 加利福尼亞大學柏克萊分校.
新！!: 阿尔弗雷德·塔斯基和伯克利分校 · 查看更多 »
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
新！!: 阿尔弗雷德·塔斯基和伯特兰·罗素 · 查看更多 »
圆柱代数
阿尔弗雷德·塔斯基发明的圆柱代数概念自然的出现于一阶逻辑的代数化中。可比较于布尔代数对命题逻辑所扮演的角色。实际上，圆柱代数是装备了建模量化的额外圆柱化运算的布尔代数。.
新！!: 阿尔弗雷德·塔斯基和圆柱代数 · 查看更多 »
命题逻辑
在邏輯和數學裡，命題演算（或稱句子演算）是一個形式系統，有著可以由以邏輯運算符結合原子命題來構成代表「命題」的公式，以及允許某些公式建構成「定理」的一套形式「證明規則」。.
新！!: 阿尔弗雷德·塔斯基和命题逻辑 · 查看更多 »
哈佛大学
哈佛大學（Harvard University）為一所本部坐落於-zh-hans:麻省; zh-tw:麻薩諸塞州; zh-cn:马萨诸塞州; zh-hk:麻省-劍橋市的私立研究型大學。其因歷史、學術影響力、財富等因素而獲評為世上最享負盛名的學府之一。 哈佛於1636年由當地的殖民地立法機關立案成立，迄今為全美歷史最悠久的高等學府，並擁有北美最古老的校董委員會。 其最初稱之為「新學院」，該機構為了感謝一名年輕的牧師約翰·哈佛所作出的捐贈，而改名為「哈佛學院」。雖然從沒有與任何宗教派別有正式的聯繫，但早期的學院還是以培養公理會及一位論派神職者為主要職責。可是自18世紀起，其課程與學生群體的宗教性質漸漸淡化，而19世紀的哈佛則進一步成為了的文化起源地。美國南北戰爭後，當時的校長查爾斯·艾略特將哈佛各個學術機構綜合成了一所研究型大學，並增添了小班授課以及入學考試，而這些模式同時也影響了國家的中高等教育政策。此校亦為美國大學協會其中一個原始成員，並在經濟大蕭條及二次大戰後進一步修改了課程及收生政策。後與拉德克利夫學院合併成為了男女校。 校方目前共有十所學院及一所高等研究院。這些單位偏佈鄰近各區：其本部位於劍橋的；醫學、公共衛生及牙醫學院位於波士頓的長木醫學區；而包括哈佛體育場在內的大學體育設施以及商學院則在。哈佛同時擁有龐大的資產，每年所收到的捐款回贈數目長期位列全球教育機構之首。 哈佛大學為全美最難入讀的學府之一。 學校的研究生課程較為多元化，而本科教育則主要集中在文理學範疇。校方在2007年起實行了財政援助政策，家庭年收入低於一定數目的學生獲得不同程度的學費豁免。 哈佛擁有全美最古老的圖書館系統，這同時也是全球最具規模的私立及大學圖書館系統，館藏量逾1600萬冊。 其為常春藤盟校成員之一，現共有42支參與不同運動競賽的代表隊，屬全美大學體育協會甲組。除了體育，學生的課外生活還包括各個學會所舉辦的活動。哈佛校友涵蓋8名美國總統及多國領袖與政治要員；其亦培養了62名富豪企業家及335位羅德學者，人數均為全美最多；另也有150多名諾貝爾獎得主現在或曾經在哈佛學習或工作。.
新！!: 阿尔弗雷德·塔斯基和哈佛大学 · 查看更多 »
内部代数
在抽象代数中，内部代数是采用了集合的拓扑内部概念的特定类型的代数结构。内部代数之对于拓扑和模态逻辑 S4 如同布尔代数之对于集合论和普通命题逻辑。内部代数形成了模態代數的一个簇。.
新！!: 阿尔弗雷德·塔斯基和内部代数 · 查看更多 »
几何学
笛沙格定理的描述，笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學（英语：Geometry，γεωμετρία）簡稱幾何。几何学是數學的一个基础分支，主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾里德的公理，產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓扑学及微分幾何。 在歐幾里德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾里德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠，例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。.
新！!: 阿尔弗雷德·塔斯基和几何学 · 查看更多 »
关系代数
*在计算机科学的数据库中的关系代数 (数据库).
新！!: 阿尔弗雷德·塔斯基和关系代数 · 查看更多 »
元数学
元數學（Metamathematics），又譯為超數學，使用數學技術來研究數學本身的一門學科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。 比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。 许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。 元数学与数理逻辑休戚相关，因而这两者的发展也大同小异。元数学的发端大概要追溯到弗雷格的工作：《概念文字》。大卫·希尔伯特首先引进了带有正则性的“元数学”（metamathematics with regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory Chaitin），以及最著名的塔斯基和哥德尔。特别地，哥德尔证明了：给定任意有限多条皮亚诺算术的公理，都存在一些正确的命题，无法用所给公理来证明，即所谓的哥德尔不完备定理。某种意义上来说，这一结果是迄今为止元数学与数学哲学的最高成就。.
新！!: 阿尔弗雷德·塔斯基和元数学 · 查看更多 »
皮亚诺公理
亚诺公理（Peano axioms），也称皮亚诺公设，是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统，也称皮亚诺算术系统。.
新！!: 阿尔弗雷德·塔斯基和皮亚诺公理 · 查看更多 »
犹太人
犹太人（יְהוּדִים，），又称犹太民族，是广泛分布于世界各国的一个族群。根据犹太教律法《哈拉卡》的定义，一切皈依犹太教的人（宗教意义）以及由犹太母亲所生的人（種族意义）都属于犹太人。犹太人发源于西亚的以色列地或希伯来地。犹太人的民族、文化和宗教信仰之间具有很强的关联性，犹太教是维系全体犹太人之间认同感的传统宗教。犹太教不欢迎外族皈依，要皈依犹太教的外族人必须通过考验才可以，虽然如此历史上世界各地仍有小部分不同肤色的人群通过皈依犹太宗教而成为犹太族群的一部分，而犹太人也由此从阿拉伯半岛的一个遊牧民族，发展成为遍布全球的世界性族群之一。 根据有关犹太人组织的统计，2007年全球犹太人总数约在1,320万人左右，其中540万人定居在以色列，530万人居住在美国，其余则散居在世界各地。犹太人口总数仅占全球总人口的0.2%, based on 。根据其他组织的统计，美国国内的犹太人人数则达到650万人或美国人口的2%。上述数据也包含了自认为是犹太人但没有归属于任何犹太社团组织的人群，但事实上，全球犹太人的总人口数很难得到准确统计，因为犹太人的定义存在多种标准和界定方式，导致统计的准确性受到了影响。.
新！!: 阿尔弗雷德·塔斯基和犹太人 · 查看更多 »
球 (数学)
在數學裡，球是指球面內部的空間。球可以是封閉的（包含球面的邊界點，稱為閉球），也可以是開放的（不包含邊界點，稱為開球）。 球的概念不只存在於三維歐氏空間裡，亦存在於較低或較高維度，以及一般度量空間裡。n\,\!維空間裡的球稱為n\,\!維球，且包含於n-1\,\!維球面內。因此，在歐氏平面裡，球為一圓盤，包含在圓內。在三維空間裡，球則是指在二維球面邊界內的空間。.
新！!: 阿尔弗雷德·塔斯基和球 (数学) · 查看更多 »
理查德·蒙塔古
查德·梅里特·蒙塔古（Richard Merritt Montague，），生於美國加州史塔克頓，美國數學家與哲學家，曾提出蒙塔古語法（Montague grammar）。.
新！!: 阿尔弗雷德·塔斯基和理查德·蒙塔古 · 查看更多 »
科學統一論
科學統一論是某些科學哲學家對科學的一種看法，科學統一論主要認為所有的科學學科都形成一個統一的整體。 舉例說，一般人認為物理學和社會學等都是明顯不同的學科，科學統一論者卻認為，各種學科的差異只不過是對同一件事不同層面的了解，所以原則上，社會學是可以用物理學的觀點去了解的。 ，化學的概念在理解層次上高於物理學，但一切化學概念都可以用物理學來解釋，細胞生物學概念則高於化學，但是所有細胞運作都可以用化學概念去了解，大體生物學概念則高於細胞生物學，但一切對於生物整體的了解都可以用細胞生物學來解釋等。.
新！!: 阿尔弗雷德·塔斯基和科學統一論 · 查看更多 »
第二次世界大战
二次世界大戰（又常簡稱二次大戰、二戰、WWII等；World War II；Seconde Guerre mondiale；Zweiter Weltkrieg；Вторая мировая война；第二次世界大戰）是一次自1939年至1945年所爆發的全球性軍事衝突，整場戰爭涉及到全球絕大多數的國家，包括所有的大國，并最終分成了兩個彼此對立的軍事同盟─同盟國和軸心國。這次戰爭是人類歷史上最大規模的戰爭，動員了1億多名軍人參與這次軍事衝突。主要的參戰國紛紛宣布進入總體戰狀態，幾乎將自身國家的全部經濟、工業和科學技術應用於戰爭之上，同時也將民用與軍用的資源合併以方便統籌規劃。包括有猶太人大屠殺、南京大屠殺、戰爭中日軍對中國軍民進行細菌戰、以及最终美國對日本首次使用原子彈等事件，使得第二次世界大戰也是自有紀錄以來涉及最多大規模民眾死亡案例的軍事衝突，全部總計便將近有5,000萬至7,000萬人因而死亡，這也讓第二次世界大戰成了人類歷史上死亡人數最多的戰爭。 儘管早在1931年9月，日本便侵佔了中國的滿洲，而後建立了傀儡國家滿洲國。至1937年7月盧溝橋事變後中日更爆發了全面戰爭。不過大多數人仍多把第二次世界大戰的爆發定為1939年9月1日德國入侵波蘭開始，這次入侵行動隨即導致英國與法國向德國宣戰。然而德國在入侵波蘭後開始著手嘗試在歐洲建立一個大帝國，自1939年末期到1941年初期為止，發動一連串戰爭並藉由條約的簽署使得德國幾乎佔領了歐洲絕大部分的地區，而名義上保持中立的蘇聯在和德國簽訂《德蘇互不侵犯條約》後，也跟進侵略潮流，陸續佔領或者吞併了其在歐洲邊界的鄰近6個國家，在這之中也包括第二次世界大戰爆發時所佔領的波蘭領土。英國以及大英國協的成員國則堅持持續與軸心國繼續作戰，並分別在北非和大西洋海上發生多次軍事衝突，而這也使得英國成了歐洲地區少數仍能繼續反抗德軍入侵的主要武力之一。1941年6月，歐洲的軸心國集團決定撕毀與蘇聯的合作約定，聯合入侵蘇聯領土，這次攻勢也開始了人類歷史上規模最大的地面戰爭爆發，但也在之後讓原本幾乎統轄整個歐洲地區的軸心國被迫投入大量軍力來維持作戰優勢。到了1941年12月，已經加入軸心國的大日本帝國為了能夠在亞洲及太平洋地區獲得領導地位，陸續襲擊位于太平洋的美國統轄地區和座落於與中南半島的歐洲殖民地，很快地於西太平洋和東亞戰區獲得了主導權。 到了1942年時日本開始在一系列的海戰中戰敗，位於歐洲的軸心國也陸續於北非戰役以及斯大林格勒戰役中節節敗退，這些都迫使軸心國停下進攻的腳步。1943年時，義大利法西斯政權在西西里島戰役中面對同盟國部隊嚴重失利，另一方面德軍在库尔斯克会战戰敗後失去對於東歐的領導地位，同時美國也在太平洋戰區中獲得了一連串的勝利，自此軸心國集團逐漸失去主導權並開始嘗試將佈署於各地的前線部隊進行戰略性的撤退。到了1944年時，盟軍決定登陸法國以開闢第二戰場，而蘇聯除了成功收復過去被佔領的領土外，也開始轉往進攻德國與其同盟國家的土地。在蘇聯和波蘭部隊共同攻入柏林後，第二次世界大戰歐洲戰區最終在1945年5月8日德國投降的情況下宣告結束。而另一方面美國在1944年和1945年成功擊敗了日本海軍部隊並陸續佔領了數個重要的西太平洋島嶼，這使得日本列島隨時面臨同盟國部隊入侵的危機。最後在美軍分別於廣島市和長崎市投下原子彈並造成大量日本平民死亡。1945年8月8日蘇聯進攻日本控制下的中國東北地區，8月14日日本跟進宣佈願意接受無條件投降的條件，而隨著亞洲戰事的停息也意味著第二次世界大戰正式結束。 1945年時第二次世界大戰以同盟國勝利宣告結束，然而二次大戰對世界影響極為深遠，改變了往後世界的政治版圖和社會結構，特別是戰敗的軸心國集團被迫接受同盟國的安排。1945年10月24日聯合國亦宣告成立，期望能夠促進各國合作並防止未來的軍事衝突；同時戰勝的盟軍各國，也紛紛在聯合國各個機構中擔任重要職位，特別是以美國、蘇聯、中國、英國和法國5個國家為首成立聯合國聯合國安全理事會的常任理事國，主導著世界的秩序.
新！!: 阿尔弗雷德·塔斯基和第二次世界大战 · 查看更多 »
納粹
-- 納粹可泛指下列有關條目：.
新！!: 阿尔弗雷德·塔斯基和納粹 · 查看更多 »
維也納
維也納（Wien；奧地利德語：Wean）是奧地利共和國首都和維也納州首府，人口172.3萬人，都會區約240萬人，佔奧地利人口四分之一以上。維也納是歐洲著名的都會區之一，拥有许多重要的国际组织，OPEC的總部也設於此。同時，維也納與美國紐約和瑞士日內瓦同為聯合國僅有的駐地城市。位於北緯48度12分5秒、東經16度22分38秒。具“世界音樂之都”美譽。第一次世界大戰以前是領域曾遍及除德意志以外的中東歐大部分地區的奧匈帝國首都。按照市区人口，它是欧盟第七大城。在20世纪初以前，它是德語圈最大的城市，奥匈帝国分裂之前，該市已经擁有200萬人口。時至今日，它仍是德语圈第二大城市，僅次於柏林。該市位於奥地利東部，靠近捷克、斯洛伐克和匈牙利边界。其市中心古城區被列為世界遺產。.
新！!: 阿尔弗雷德·塔斯基和維也納 · 查看更多 »
纽约市立学院
紐約市立學院（The City College of New York，縮寫：CCNY），成立於1847年，是紐約市立大學系統中的一所四年制學院，是紐約市立大學系統的創始學校，也是歷史最悠久的分校，至2014年止計有12位校友獲得諾貝爾獎。紐約市立學院相對於紐約市立大學系統其它四年制分校的就讀學生人數而言，其規模屬於中等。在2014年，紐約市立學院共有16,544位在學生，其中包括13,315位大學部學生和3,229位研究生。2014年秋季學期，紐約市立學院於南校園啟用了兩棟新穎綠建築研究大樓。2016年秋季學期，紐約市立學院招收了第一屆醫學院學生。.
新！!: 阿尔弗雷德·塔斯基和纽约市立学院 · 查看更多 »
维也纳大学
維也納大學（Universität Wien）位于奥地利的首都维也纳，始建于公元1365年，是现存最古老的德语大学，也是中欧最大的学校之一，维也纳大学亦是目前最大的德语大学，学校共设有180个学位。在奥地利，维也纳大学的也是最大的教学和研究机构，拥有近8600名员工，其中有6500名學者。.
新！!: 阿尔弗雷德·塔斯基和维也纳大学 · 查看更多 »
维也纳学派
维也纳学派（Wiener Kreis），1920年代发展出来的一个自然科学和哲学的学派。 维也纳学派是发源于20世纪20年代奥地利首都维也纳的一个学术团体。其成员主要包括领袖人物石里克、鲁道夫·卡尔纳普、纽拉特、费格尔、汉恩、伯格曼、弗兰克、韦斯曼、哥德尔，等等。他们多是当时欧洲大陆优秀的物理学家、数学家和逻辑学家。他们关注当时自然科学发展成果（如数学基础论、相对论与量子力学），并尝试在此基础上去探讨哲学和科学方法论等问题。 受到19世纪以来德国实证主义传统影响，加上在维特根斯坦《逻辑哲学论》思想启示下，维也纳学派提出了一系列有别传统的见解。大致来说，他们的（除哥德尔）中心主张有两点：一，拒绝形而上学，认为经验是知识唯一可靠来源；二，只有通过运用逻辑分析的方法，才可最终解决传统哲学问题。 20年代末以来，维也纳学派通过组织一系列国际会议与发行丛书，与欧美思想相近学者（如德国的柏林学派与波兰华沙学派）相联系，而逐渐发展成为声势浩大的逻辑实证主义运动。然而，随着30年代中起纳粹在欧洲兴起，学派中的犹太的学者受到迫害，导致不少重要成员被迫逃亡海外。及至1933年汉恩病逝，1936年石里克遇刺身亡，维也纳学派最终走向解散的结局。尽管如此，逻辑实证主义思想却因此得在英美国家得到广泛传播，并促成了二战后分析哲学成为英语世界的学术主流。.
新！!: 阿尔弗雷德·塔斯基和维也纳学派 · 查看更多 »
罗马天主教
#重定向 天主教會.
新！!: 阿尔弗雷德·塔斯基和罗马天主教 · 查看更多 »
美國
#重定向 美国.
新！!: 阿尔弗雷德·塔斯基和美國 · 查看更多 »
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
新！!: 阿尔弗雷德·塔斯基和美国 · 查看更多 »
美国国家科学院
美国国家科学院（United States National Academy of Sciences, 缩写：NAS）, 是由美国著名科学家组成的组织，其成员在任期内无偿地作为“全国科学、工程和医药的顾问”。 美国国家科学院是在1863年3月3日由林肯总统签署法案创立的。截至到2014年4月29日美国国家科学院有2214名国家科学院院士以及444名外国国籍院士。其中有170多名院士曾获诺贝尔奖。现任院士每年选举产生新的院士，外籍院士没有投票权。.
新！!: 阿尔弗雷德·塔斯基和美国国家科学院 · 查看更多 »
群论
在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
新！!: 阿尔弗雷德·塔斯基和群论 · 查看更多 »
瓦茨瓦夫·谢尔宾斯基
茨瓦夫·弗朗西斯克·谢尔宾斯基（Wacław Franciszek Sierpiński），1882年3月14日生于华沙，1969年10月21日逝世于华沙。波兰数学家，以对集合论（对选择公理（axiom of choice）和连续统假设的研究）、数论、函数的理论和拓扑学的出色贡献而闻名。他共出版了超过700篇的论文和50部著作，这当中有两部，“一般拓扑学入门”（1934年）和“一般拓扑学”（1952年）后来被加拿大数学家Cecilia Krieger译成英文。 两个著名的分形是根据他的名字命名，谢尔宾斯基三角形和谢尔宾斯基地毯；另外还有谢尔宾斯基数和谢尔宾斯基问题也是以他的名字命名。.
新！!: 阿尔弗雷德·塔斯基和瓦茨瓦夫·谢尔宾斯基 · 查看更多 »
生物学
生物学研究各種生命（上图） 大肠杆菌、瞪羚、（下图）大角金龟甲虫 、蕨類植物 生物學（βιολογία；biologia；德語、法語：biologie；biology）或稱生物科學（biological sciences）、生命科學（life sciences），是自然科學的一大門類，由經驗主義出發，廣泛研究生命的所有方面，包括生命起源、演化、分佈、構造、發育、功能、行為、與環境的互動關系，以及生物分類學等。現代生物學是一個龐大而兼收並蓄的領域，由許多分支和分支學科組成。然而，盡管生物學的範圍很廣，在它裡面有某些一般和統一概念支配一切的學習和研究，把它整合成單一的，和連貫的領域。在總體上，生物以細胞作為生命的基本單位，基因作為遺傳的基本單元，和進化是推動新物種的合成和創建的引擎。今天人們還了解，所有生物體的生存以消耗和轉換能量，調節體內環境以維持穩定的和重要的生命條件。 生物學分支學科被研究生物體的規模所定義，和研究它們使用的方法所定義：生物化學考察生命的基本化學；分子生物學研究生物分子之間錯綜復雜的關系；植物學研究植物的生物學；細胞生物學檢查所有生命的基本組成單位,細胞；生理學檢查組織，器官，和生物體的器官系統的物理和化學的功能；進化生物學考察了生命的多樣性的產生過程；和生態學考察生物在其環境如何相互作用。最終能夠達到治療診斷遺傳病、提高農作物產量、改善人類生活、保護環境等目的。.
新！!: 阿尔弗雷德·塔斯基和生物学 · 查看更多 »
物理学家
物理學家是指受物理學訓練、並以探索物質世界的組成和運行規律（即物理學）為目的科學家。研究範疇可細至構成一般物質的微細粒子，大至宇宙的整體，不同的範圍都會有相對的專家。對應於物理學分為理論物理學和實驗物理學，物理学家也可以分為理論物理學家和實驗物理學家。物理學中理論和實驗都是必不可缺的组成部分，所以有时候這樣的分類很難界定，只不過在一個物理學家更偏重理論的情况下，被稱為理論物理學家的例子包括爱因斯坦、海森堡、狄拉克、埃爾溫·薛丁格、尼爾斯·波耳、楊振寧等；而若偏重實驗，則稱為實驗物理學家，例如艾薩克·牛頓、法拉第、亨利·貝克勒、尼古拉·特斯拉、馬克斯·馮·勞厄、約瑟夫·湯姆森、歐內斯特·勞倫斯、吳健雄、威廉·肖克利、朱棣文等。.
新！!: 阿尔弗雷德·塔斯基和物理学家 · 查看更多 »
语言哲学
語言哲學是一門哲學的分支，對語言的用法、來源及本質作理性的研究。對於分析哲學來說，有四個主要關心的問題：意義的本質、語言用法、語言認知及語言與現實的關係。對歐陸哲學家來說，語言哲學是邏輯、歷史甚至政治的一部分。 首先，語言哲學家尋求意義的本質，解釋「意義」的意義。順著這個脈絡，找尋同義詞的本質。 研究人的语言的哲学成为当代哲学的主要方向。主要代表人物有维特根斯坦。.
新！!: 阿尔弗雷德·塔斯基和语言哲学 · 查看更多 »
鲁道夫·卡尔纳普
鲁道夫·卡尔纳普（Rudolf Carnap，又译卡納普，），是20世纪著名的美國分析哲学家，生於德国雷姆沙伊德。經驗主義和逻辑实证主义代表人物，维也纳学派的领袖之一。卡尔纳普是学物理和数学出身的，在耶拿大学曾受业于弗雷格门下，研究邏輯學、數學、語言的概念結構。受羅素和弗雷格的著作影響。 哲学上早期受新康德派的影响，他最早的作品如《空间。论科学哲学》，《论物理学的任务和简化原则之应用》等都可以看到这种影响的印迹。同时他受到了马赫实证论和经验论的影响，使他完全走上了实证论的道路。《世界的逻辑构造》是卡尔纳普的代表作。.
新！!: 阿尔弗雷德·塔斯基和鲁道夫·卡尔纳普 · 查看更多 »
阿隆佐·邱奇
阿隆佐·邱奇（Alonzo Church，）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。.
新！!: 阿尔弗雷德·塔斯基和阿隆佐·邱奇 · 查看更多 »
肯尼斯·約瑟夫·阿羅
#重定向 肯尼斯·阿罗.
新！!: 阿尔弗雷德·塔斯基和肯尼斯·約瑟夫·阿羅 · 查看更多 »
量詞消去
量詞消去是數理邏輯、模型論與計算機科學中的一類技巧。我們稱一個理論T可消去量詞，若且唯若對每個公式\phi皆存在另一個不帶量詞的公式\psi，使得兩者在該理論中等價，即：T \models \phi \leftrightarrow \psi。 量詞消去在模型論有多種刻劃；即使一個理論可消去量詞，也不保證存在一個相應的演算法。 一個理論的量詞消去演算法係將一個帶量詞的公式轉成一個等價但不帶量詞的公式。利用這個演算法，我們能將任一句子（不帶自由變量的公式）轉成一個不帶變量的句子，後者通常可藉簡單的計算判定。因此，量詞消去演算法的存在性蘊含該理論的可判定性。.
新！!: 阿尔弗雷德·塔斯基和量詞消去 · 查看更多 »
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
新！!: 阿尔弗雷德·塔斯基和逻辑 · 查看更多 »
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
新！!: 阿尔弗雷德·塔斯基和逻辑学家 · 查看更多 »
T-模式
T-模式（也叫做约定T）是位于 Alfred Tarski 的真理的语义理论的任何实现的核心位置的归纳定义，表达了真理在逻辑运算符上的交换性。 T-模式经常用自然语言表达，但它们很容易接纳多类谓词逻辑或模态逻辑的形式化；比如叫做 T-理论的公式化。T-理论构成了哲学逻辑中很多基础工作的基础，它们被应用于分析哲学中很多重要争论。它们也是在模型论背后的基础直觉；或者说模型论实现了它们。.
新！!: 阿尔弗雷德·塔斯基和T-模式 · 查看更多 »
抽象代数
抽象代数作为数学的一门学科，主要研究对象是代数结构，比如群、环、-zh-hans:域;zh-hant:體-、模、向量空间、格與域代数。「抽象代數」一詞出現於20世紀初，作為與其他代數領域相區別之學科。 代數結構與其相關之同態，構成數學範疇。範疇論是用來分析與比較不同代數結構的強大形式工具。 泛代數是一門與抽象代數有關之學科，研究將各類代數視為整體所會有的性質與理論。例如，泛代數研究群的整體理論，而不會研究特定的群。.
新！!: 阿尔弗雷德·塔斯基和抽象代数 · 查看更多 »
柏克萊加州大學
#重定向 加利福尼亞大學柏克萊分校.
新！!: 阿尔弗雷德·塔斯基和柏克萊加州大學 · 查看更多 »
格 (数学)
在数学中，格是其非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。.
新！!: 阿尔弗雷德·塔斯基和格 (数学) · 查看更多 »
模型论
数学上，模型论(Model theory)是从集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既存的数学“对象”，然后研究：当这些对象之间的一些运算或者一些关系乃至一组公理被给定时，可以相应证明出什么，以及如何证明。 比如实数理论中一个模型论概念的例子是：我们从一个任意集合开始，作为集合元素的每个个体都是一个实数，其间有一些关系和（或）函数，例如。若我们在该语言中问"∃ y (y × y.
新！!: 阿尔弗雷德·塔斯基和模型论 · 查看更多 »
波兰
波兰共和国（Rzeczpospolita Polska），简称波兰，是位於中欧的共和制国家，北面濒临波罗的海，西面与德国接壤，南部与捷克和斯洛伐克为邻，乌克兰和白俄罗斯在东，东北部和立陶宛及俄罗斯加里宁格勒州接壤。面積312,679平方公里，位居歐洲第十；人口約3,863萬人，位居歐洲第九。目前為欧盟、北约、联合国、经济合作与发展组织、世贸组织等國際組織的成員。.
新！!: 阿尔弗雷德·塔斯基和波兰 · 查看更多 »
波蘭會議王國
波兰王国（Królestwo Polskie，Царство Польское），通常称为波兰会议王国（Kongresówka）、簡稱議會波蘭，又因為屬於奧地利、普魯士、俄羅斯瓜分波蘭三部分中的一個、也能被稱作俄属波兰。该国在1815年经由维也纳会议成立，在1915年被同盟国用另一个波兰王国取代。该国在本质上是俄国的共主邦联。虽然原则上，波兰王国获得了相当大的正式的政治上的主权，成为了独立国家，但沙皇总体上并不顾及这些限制他们权力的因素，且严格地说，在十一月起义和一月起义后，俄罗斯更是削弱了波兰议会王国的自主权，首先将该国变为俄国的总督区，随后又将该国划分为俄罗斯帝国的几个省。这样，波兰所谓的主权也就不复存在了。Nation without a State: Imagining Poland in the Nineteenth Century by Agnieszka Barbara Nance, Dissertation for the Degree of Doctor of Philosophy The University of Texas at Austin page 169-188 波兰王国的领土大体上包括现在波兰的卢布林省、罗兹省、马佐夫舍省和圣十字省。.
新！!: 阿尔弗雷德·塔斯基和波蘭會議王國 · 查看更多 »
波蘭戰役
波蘭戰役（又稱「德波戰爭」，而波蘭稱其為「1939年保衛戰」或「1939年九月戰役」；Kampania wrześniowa，德國則稱其為「波蘭戰役」，作戰代號為《白色方案》）是德國、斯洛伐克與蘇聯軍隊於1939年9月入侵波蘭的行動，該戰役一般被認為是第二次世界大戰的開始。在《德蘇互不侵犯條約》簽署了一星期後，德國於1939年9月1日展開進攻，而蘇聯亦於9月17日入侵波蘭，10月6日，德蘇兩國佔領波蘭全國領土，波蘭戰役結束。 德國軍隊分作北、南、西三個方向發動攻擊，並以兩翼包圍的方式夾擊集結於邊境地帶的波軍主力部隊。波軍損失慘重、欲撤出佈署於德波邊境的部隊，將其用於首都華沙以西的位置建立一條防線，等待軍事同盟國的英法兩國對德國的西方戰線發動攻擊，但擁有兵力絕對優勢的盟軍卻按兵不動。9月中旬，德軍兵臨華沙，波軍將大部分僅存的主力集結，於布楚拉河一線反擊德軍，一度逼迫後者抽調兵力應付，最終，德軍將波軍主力包圍殲滅，獲得了決定性的勝利。9月17日，東方的蘇聯根據《德蘇互不侵犯條約》中的秘密協議而入侵波蘭，開闢了第二戰場。波蘭政府認定原先守於東方「」進行固守的計劃已不可行，遂下令撤離所有部隊至中立的鄰國—羅馬尼亞。10月6日，最後一批波蘭軍隊於科克戰役被擊潰，德蘇兩軍佔領波蘭全國。儘管波蘭從未有代表全國的政府或組織出面宣佈投降過，但也已象徵了波蘭境內戰事的結束。 10月8日，經過短暫的軍政府管理後，德國直接將波蘭西部，包括西里西亞、大波蘭、波莫查、羅茲等曾為德意志帝國領土或有大量德裔人居住的地區併吞為國土，而前但澤自由市與其餘區域則由親衛隊上將的漢斯·法郎克所領導的波蘭總督府進行管理，對內施行「德國化」政策，在德國佔領期間，納粹親衛隊於波蘭境內建立了大量的集中營，關押猶太人、醫生、公務員、教會人員與地主等群眾，最後將其有系統地大量處決。在蘇聯1939年後的佔領區中，史達林則對波蘭人實行「俄羅斯化」，同樣殺害了波蘭社會精英與政治反對者，其中尤以屠殺兩萬名波蘭軍官的「卡廷森林屠殺案」最為出名。在德國佔領波蘭全國後，後者組織起地下抵抗勢力—「波蘭家鄉軍」於二戰期間進行游擊戰。逃到西方國家的數十萬波軍則另外組成一流亡政府，並加入了盟軍，於其他戰場繼續與軸心國戰鬥。二戰結束後，波蘭本土由波蘭統一工人黨所執政，與西方意識形態接近的流亡政府則無法回到波蘭，一直到東歐革命後才重回故土。 波蘭戰役是第一次世界大戰結束後德軍的首次大規模陸上作戰，世界各國對於德軍迅速達成的勝利感到驚訝，進而產生許多誤解或有很大爭議的觀點，部份錯誤資訊仍在今日的出版品中可以見得，例如最有名的「波蘭騎兵向德國戰車衝鋒」、「德國空軍於一天內消滅波蘭空軍」等，實際上是眾多以訛傳訛的資訊加上的刻意宣传所造成的不正確印象。另外，有軍事歷史學家將本戰役視為德軍新型態作戰模式—「閃擊戰」首次使用的作戰，並視其為德軍吸收西方軍事家（B·H·李德哈特、J·C·富勒和夏爾·戴高樂等人）的戰車理論而發展的結果，同樣地，這個論點也受到了相當的批評。.
新！!: 阿尔弗雷德·塔斯基和波蘭戰役 · 查看更多 »
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 阿尔弗雷德·塔斯基和戈特洛布·弗雷格 · 查看更多 »
测度
数学上，测度（Measure）是一个函数，它对一个给定集合的某些子集指定一个数，这个数可以比作大小、体积、概率等等。传统的积分是在区间上进行的，后来人们希望把积分推广到任意的集合上，就发展出测度的概念，它在数学分析和概率论有重要的地位。 测度论是实分析的一个分支，研究对象有σ代数、测度、可测函数和积分，其重要性在概率论和统计学中都有所体现。.
新！!: 阿尔弗雷德·塔斯基和测度 · 查看更多 »
斯特凡·巴拿赫
斯特凡·巴拿赫（Stefan Banach，），波兰数学家。.
新！!: 阿尔弗雷德·塔斯基和斯特凡·巴拿赫 · 查看更多 »
无神论
无神论（Atheism），在廣義上，是指一種不相信神存在的觀念Most dictionaries (see the OneLook query for) first list one of the more narrow definitions.
新！!: 阿尔弗雷德·塔斯基和无神论 · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
新！!: 阿尔弗雷德·塔斯基和数学 · 查看更多 »
数学基础
数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真? 目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个形式化的方法不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么"真"数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 上述的形式化真实性也可能完全没有意义：有可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远無法排除這種可能性。 在數學實在論（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础，.
新！!: 阿尔弗雷德·塔斯基和数学基础 · 查看更多 »
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
新！!: 阿尔弗雷德·塔斯基和数学家 · 查看更多 »
数学哲学
数学哲学是哲学的一个分支，研究数学中的哲学问题的学科。从毕达哥拉斯到康德的众多思想家都有许多数学哲学的重要思想，但作为专门学科直到19世纪中叶以后才逐渐建立起来。着重研究：.
新！!: 阿尔弗雷德·塔斯基和数学哲学 · 查看更多 »
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
新！!: 阿尔弗雷德·塔斯基和数理逻辑 · 查看更多 »
扬·武卡谢维奇
#重定向 扬·卢卡西维茨.
新！!: 阿尔弗雷德·塔斯基和扬·武卡谢维奇 · 查看更多 »
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
新！!: 阿尔弗雷德·塔斯基和拓扑学 · 查看更多 »
普林斯顿高等研究院
普林斯顿高等研究院（Institute for Advanced Study，簡稱 IAS ）是一个供各领域的科学家做最纯粹的尖端研究的科研机构，能够保障所辖科研人员不受任何教学任务、科研资金或者赞助商压力限制。在其它地方也有基于普林斯顿高等研究院而建立的高等研究院。IAS于1930年成立于美国新泽西州普林斯顿，它不是普林斯顿大学的一部分。.
新！!: 阿尔弗雷德·塔斯基和普林斯顿高等研究院 · 查看更多 »
重定向到这里：
Alfred Tarski，塔尔斯基，塔斯基，阿爾弗雷德·塔斯基。
