構造論者(constructivist)是1993年公布的數學名詞。
基本介紹
- 中文名:構造論者
- 外文名:constructivist
- 所屬學科:數學
- 公布時間:1993年
- 見載刊物:《數學名詞》 科學出版社

構造論者(constructivist)是1993年公布的數學名詞。
構造論者(constructivist)是1993年公布的數學名詞。公布時間1993年,經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
陳國達(1912年1月22日-2004年4月8日),廣東省新會縣人,地質學家,活化構造學說和遞進成礦理論的創立者。國際地質界稱他為"地窪學說之父",中南大學教授,博士生導師。1934年畢業於中山大學地質系;1946升任中山大學教授;1980年當選為中國科學院學部委員;1998年起為中國科學院資深院士。 陳國達最突出的貢獻...
相應於古典分析中把實數定義為有理數柯西序列等價類,可構造意義下的單個實數被定義為實數生成子的一個等價屬種。如上所見,建立可構造性實數概念沒有實質性困難,其原因就在於柯西—魏爾斯特拉斯的整個極限論建基於潛無限觀念。因而在實質上,直覺數學者在此不過是在能行性的要求下重新陳述柯西序列而已。現代構造...
最著名的構造性數學研究應推布勞威爾、A.海丁等的直覺主義數學。布勞威爾的直覺主義數學觀是與其直覺主義的哲學觀密切相關的。直覺主義者基於它的可信性標準:“存在即被構造”,故必然堅持構造性的數學研究。他們的研究起點是自然數論而非集合論,對直覺主義數學而言,自然數是基於“原始直覺”用構造性方法產生的。為了...
在該模型中連續統假設成立,在構造模型時,哥德爾從無窮公理出發,用超窮遞歸方法逐步定義出一些集合,這些集合稱為可構造集,最後以所有可構造集所組成的集族作為該模型的集合。基本介紹 可構造性公理(the axiom of constructibility)是集合論的重要假設之一,即命題“每個集合都是可構造集”,記為V=L(參見下文“...
板塊構造 板塊構造,又叫全球大地構造。所謂板塊指的是岩石圈板塊,包括整個地殼和莫霍面以下的上地幔頂部,也就是說地殼和軟流圈以上的地幔頂部。新全球構造理論認為,不論大陸殼或大洋殼都曾發生並還在繼續發生大規模水平運動。但這種水平運動並不象大陸漂移說所構想的,發生在矽鋁層和矽鎂層之間,而是岩石圈板塊...
美的構造論是美國佩珀提出的美學理論,是其世界假說的四個根隱喻之一。認為“美”並非是一個自在的客體,而是由多個因素構成的。藝術品可分為”物質的藝術品”和”審美的藝術品”,前者是由物質的連續性或緊密性所產生的作為客觀存在的刺激物,後者則是經過接受者、鑑賞者的市美感知而達成的,因此藝術品是由物質...
顯而易見,構造心理學元素分析的方法與還原論顯然是同出一轍的。20世紀前半期風靡美國的行為主義心理學也採用了還原論立場。行為主義的創始人J.B.華生認為,心理學應以客觀的、可觀察的行為為研究對象,放棄對捉摸不定的主觀心理狀態或意識狀態進行探討。行為主義者眼中的“心理”就是有機體的肌肉收縮或腺體分泌,...
構造主義心理學派簡介 構造主義心理學派是由馮特的最忠誠的學生鐵欽納於內容心理學派形成近20年後在美國建立的,是內容心理學思想的繼承和進一步發展。但構造主義心理學派決不等同於內容心理學派,二者無論在形成的時間、地點以及研究方法和具體內容上,都存在著差異。鐵欽納把馮特心理學帶到美國以後,根據馮特心理學的...
鐵欽納和他的支持者在回應批評的同時,稱機能主義心理學不是真正的心理學,沒有現代科學的概念,只是塗上了現代的顏色;機能主義者是目的論的。學派式微 晚年時,鐵欽納已經很少講課,康奈爾大學實驗室的研究成果也越來越少。雖然在學術上還是有一些他的學生繼續堅信構造主義的理念,比如沃士波恩(M. Washburn)、甘博...
加之集合論的出現確實衝擊了傳統的觀念,顛覆了許多前人的想法,很難為當時的數學家所接受,遭到了許多人的反對,其中反對的最激烈的是柏林學派的代表人物之一、構造主義者克羅內克。克羅內克認為,數學的對象必須是可構造出來的,不可用有限步驟構造出來的都是可疑的,不應作為數學的對象,他反對無理數和連續函式的...
直覺類型論、或構造類型論、或Martin-Löf 類型論、或就叫類型論是基於數學構造主義的函式式程式語言、邏輯和集合論。直覺類型論由瑞典數學家和哲學家 Per Martin-Löf 在1972年提出的。 Martin-Löf 已經多次修改了它的提議;先是非直謂性的而後是直謂性的,先是外延的而後是內涵的類型論變體。簡介 構造類型...
在他看來,可證者為真,可否證者為假,在可證與可否證之間還有中間可能,因之排中律不能成立。既然如此,古典數學的各分支就要重新經過審核。非構造方法對於康托爾集合論和數學分析有本質的意義,因之戴德金德分割、 上確界定理和波爾察諾-魏爾施特拉斯定理等都失去根據。古典數學的這些部分必須改造或被擯棄。然而...
黃汲清系統劃分中國主要構造單元和大地構造旋迴,進一步開拓了中國地質圖製圖事業,創建多旋迴構造運動說,進而將多旋迴說與板塊構造相結合,建立板塊多旋迴開合手風琴式運動模式,開拓大地構造研究新途徑。提出陸相生油論,具體部署、指導中國石油天然氣地質普查勘探。人物生平 1904年3月30日,黃汲清出生於四川省仁壽縣。1921...
加之集合論的出現確實衝擊了傳統的觀念,顛倒了許多前人的想法,很難為當時的數學家所接受,遭到了許多人的反對,其中反對的最激烈的是柏林學派的代表人物之一、構造主義者克羅內克。克羅內克認為,數學的對象必須是可構造出來的,不可用有限步驟構造出來的都是可疑的,不應作為數學的對象,他反對無理數和連續函式的...
構造主義心理學派是由馮特的學生鐵欽納於內容心理學派形成近20年後在美國建立的,是內容心理學思想的繼承和進一步發展。但構造主義心理學派決不等同於內容心理學派,二者無論在形成的時間、地點以及研究方法和具體內容上,都存在著差異。 構造主義心理學派在心理學發展中的貢獻和局限:構造派是心理學史上第一個套用...
圖靈還進行了後來被稱為“數學胚胎學”的奠基性研究工作,他還試圖用數學方法研究人腦的構造問題,例如估算出一個具有給定數目的神經元的大腦中能存貯多少信息的問題等。學術論著 圖靈一生中撰寫了大量的論文,但其大部分工作並沒有以正式的形式發表在當時的科學期刊上,而是以內部報告、談話等形式發表,一些甚至在...
他長期從事機率論特別是馬爾可夫過程的研究,在齊次可列馬爾可夫過程構造論中創造了世界領先水平的成果,在可逆馬爾可夫過程元窮粒子系統領域作了開創性的工作。馬爾可夫過程,是俄國數學家馬爾可夫1907年提出的一種數學模型。它概括了自然界一系列隨機現象,既屬於數學基礎理論範疇,又在自然科學、技術科學和社會科學中有廣泛的...
內容心理學派、意動心理學派、構造主義心理學派、機能主義心理學派、行為主義心理學派、格式塔心理學派、精神分析心理學派、日內瓦學派、人本主義心理學派、認知心理學派。學派影響 這十大心理學派無論從其對對象、任務、範圍、方法以及從其規模和波及的領域來看,對心理研究的客觀推動作用都是巨大的。它們都曾經充當...
從事研究形成地球的物質和地球構造、探討地球的形成和發展、且成績卓越的科學工作者,稱地質學家。我國著名的地質學家有李四光,劉東生,李捷,張宏仁,趙金科等人。著名地質學家 李四光(1889年10月26日-1971年4月29日),蒙古族,字仲拱,原名李仲揆。1889年10月26日出生於湖北省黃岡市(今湖北省黃岡市團風縣...
1947年6月(中華民國三十六年),王鴻禎獲哲學博士學位。論文《從骨骼微細構造觀點論四射珊瑚分類》發表於倫敦皇家學會哲學叢刊(1950)。這項開拓性的研究成果,引起了國際珊瑚古生物界的注意。1947年底,王鴻禎回國,在北京大學地質學系任副教授,講授地史學,同時,參加中國地質學會北平分會活動。1949年12月,中國...
人類社會“並不是一個‘預先給定的’(pre- given)客體世界,而是一個由主體的積極行為所構造或創造的世界”,“社會的生產與再生產必須被認為是社會成員的技能性實現,而不僅僅是一系列機械的過程。”人類行動者是具有一定知識的、可以運用資源來實施行動的個體,實踐是具有能知和能動的行動者在一定時空之中運用...
七士身論,古代印度“六師”之一的婆浮陀·迦旃延對宇宙構造所提出的構想,認為萬物由永恆不變的七種原素構成,它們是地、水、火、風、苦、樂、命。既有物質因素也有精神因素。並認為原素自身是固有的,不被創造,也不創造他物;彼此獨立存在,保持一定間隙,不互轉也不相侵。佛教稱之為“七士身論”。
1800~1805年,發表《比較解剖學講義》,提出“器官相關”律,認為動物每一器官的解剖構造,與其自身其他器官在功能上都是互相聯繫的,而各器官功能與構造上的特點,則是與環境相互影響的結果;1812年,發表《四足動物骨化石研究》,1825年與《引言》一文合併,題名《地球表面災變論》出版,對古代災變概念提出新的解釋...
《太極圖說》中的宇宙生成論、萬物化生論,與宗密《華嚴原人論》的理論構造模式極為相似。毛奇齡曾說,周敦頤的《太極圖說》,全是宗密之語。該文認為,“無極”是宇宙的本原,人和萬物都是由於陰陽二氣和金木水火土五行相互作用構成的。五行統一於陰陽,陰陽統一於太極。文中突出人的價值和作用,該文主張:“惟...
弗洛伊德思想發展的早期,他把地形學的概念和方法運用於心理學,將人的心理活動及其構造劃分為潛意識、前意識和意識3個部分,廣義的潛意識可以涵括前意識,並注重描述心理的不同深度層次和研究潛意識活動的規律。在他看來,人的心理猶如大海中漂浮的冰山,露出水面的一小部分是意識,隱沒在水面之下的大部分則是潛意識...
致使玻耳茲曼最後因陷於失望而自殺。這一鬥爭一直持續到20世紀初,由於A.愛因斯坦提出了分子的布朗運動理論,該理論又為法國物理學家J.B.佩蘭的實驗所證實,從而使原子-分子論最終確立起來。現代科學已能精確地測定原子和分子在空間的排列方式、它們之間的距離,甚至藉助靜電顯微鏡能將物質的原子構造拍攝成照片。
和逼近理論密切相關的有正交級數理論,三角級數就是一種正交級數。和逼近理論相關的還有一種理論,就是從某一類已知函式出發構造出新的函式類型的理論,這種理論叫做函式構造論。運用 (L)測度這一工具,通過引入列導數(或導出數)的概念,在研究函式的可微性方面獲得了一系列深刻的結果,單調可微定理就是其中之一,...
