比浏览器更快的访问！
6 关系: 去年在馬倫巴，大卫·希尔伯特，形式系統，經濟人類學，计算机科学，新批評。
去年在馬倫巴
《去年在馬倫巴》（L'année dernière à Marienbad）是法國導演亞倫·雷奈所執導的電影，於1961年上映。《去年在馬倫巴》的故事劇情相當特別，也是影史上一部重要的電影，並獲得威尼斯影展金獅獎。.
新！!: 形式主义和去年在馬倫巴 · 查看更多 »
大卫·希尔伯特
大卫·希尔伯特（David Hilbert，），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡（今俄罗斯加里宁格勒），1943年在德国哥廷根逝世。他因为发明了大量的思想观念（例：不变量理论、、希尔伯特空间）而被尊为伟大的数学家、科学家。 他提出了希尔伯特空间的理論，是泛函分析的基礎之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年，在巴黎的国际数学家大会提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。 希尔伯特和他的学生为形成量子力学和广义相对论的数学基础做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。.
新！!: 形式主义和大卫·希尔伯特 · 查看更多 »
形式系統
在邏輯與數學中，一個形式系統（Formal system）是由兩個部分組成的，一個形式语言加上一個推理規則或轉換規則的集合。一個形式系統也許是純粹抽象地制定出來，只是為了研究其自身。另一方面，也可能是為了描述真實現象或客觀現實的領域而設計的。.
經濟人類學
經濟人類學（Economic anthropology）是人類學的一個重要分支。該分支運用民族誌與人類學知識，與其他知識結合，解釋人類的經濟行為。這是由人類學家所進行的研究，而且與經濟學具有複雜關係。經濟人類學的領域有三個主要的理論典範：形式論、實質論與文化論。.
新！!: 形式主义和經濟人類學 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 形式主义和计算机科学 · 查看更多 »
新批評
新批評（New Criticism）是一種關注文本主體的形式主義批評，認為文學研究應以作品為中心，對作品的語言、構成、意象等進行細緻的分析。但新批評從來便不是一個統一的流派，是由後來的文論史家對20世紀20、30年代以來在英美新興的批評傾向的一種概括。在英國以I·A·瑞恰慈、威廉·燕卜蓀、F·R·利維斯（F. R. Leavis）為代表，在美國以約翰·克羅·藍色姆（John Crowe Ransom）、克林斯·布魯克斯、艾倫·泰特、羅伯特·潘·沃倫、W·K·維姆薩特（William Kurtz Wimsatt, Jr.）、R·P·布萊克穆爾（R. P. Blackmur）為代表。 多數論者傾向於將新批評的歷程分為三個接段：初始期（1910-30）、形成期（1930-45）和極盛期（1945-57），文森特·利奇（Vincent Leitch）則提出第四個階段：慣常期（60年代至今）。.
