递归祘法論

能行性理論是关于可計算性的理論,也是关于机器特性的理論。作为可計算性的理論,它是数学中的計算,确定步驟、构造方法、判定方法的一般特性的理論。作为关于机器特性的理論,它又是通常生活中的机器(如飞机,計算机)的經过数学抽象的机器的一般特性的理論。数学、数理邏輯、計算技术的理論研究中有些关键性問题(如发現某一类数学命题的証明規律,計算机邏輯設計的簡化,程序編制自动化等)都有待于能行性理論問題的研究与解决。它在数学基本理論及計算机、自动化中都有应用。在数理邏輯基本理論里,能行陸理論发展較广,然其成果分散于各个不同的历史地形成的理論之中,为了推进能行性理論的发展,要在一个观点之下,把这些理論統一于一     

“典型流形与典型域”

陸啟鏗著上海科学技术出版社出版我国数学家历年来在多复变数函数論的研究中有着显著的成就,并具有某些独創的特色,其中1957年以前的研究成果在华罗庚教授所著“多变复数函数論中的典型域的調和分析”一书中,已有詳細的論述。本书则着重对此后几年在几何函数論方面发展的成果进行系統总結,进一步反映了我国数     

中国的黄土及其成因

大家知道,中國黄土的研究在整个黄土問題上具有多么重要的意义。可以說,当我們初次認識这些岩層時,就發生黄土的問題,並燃超了第一次的、熱烈的关于这些沉積物的成因的爭論。这些爭論一直延续到现在。目前在中國黄土的研究上巳進入完全新的时期,即使它不能完全解决中國黄土的問題,那末無論如何出可以在这个問题上提出非常重要的補充和闡明。在B.A.奥勃魯切夫院士著名的著作發表之     

控制论的若干基本特徵

一控制論的科学意义控制論是近年來新兴的一个科学方向,它是關於自動机器与生物体中控制与联絡方面一些共同問題的各种理論、假說和观點的總和。这一科学方向目前正在大力發展,还没有成为一个嚴整完全的学科。目前控制論中形成了三个基本部分,共中每一个部分都具有很大的独立意义。这三个部分是: 1. 訊息諭,主要是關於消息的加工和傳送的統計理論。 2. 自動快速电子計算机的理論,即与人類思     

“北半球冬季阻塞形势的研究”

阻塞形势是北半球冬季主要天气系統之一,它是最重要的經向环流。过去国內外有关这方面的研究,基本上可以分为三个方面,即統計学的、天气学的、动力学的研究。但这些論文都零散地发表在各种不同的刊物上,同时也只是从某一角度出发,沒有比較系统地对这个大型天气过程进行过全面的研究,更沒有一本比較完整的論著。本书作者根据最近五年来的資料,針对着以往研究工作中存在的問題,对阻塞形势这个大型的天气过程,作了比較全面仔細的分析和研究。     

石盒子世中朝陆台的沉积、气候及大地构造

中朝陆台石盒子世的許多地質問題,首先是石盒子統的划分、沉积范圍和沉积情况没有得到很好的解决。因而它的古地理、大地构造、古气候及煤田成因等也几乎沒有被研究过。近年为了探明石盒子世陆台的成煤条件,我們对有关問題进行了初步的研究。比較广泛的野外观察和資料对比,說明了石盒子     

关于物种问题

物种是生物科学的基本問題之一。近年來,自从李森科院士發表了“科学中关于生物种的新見解”的論文以后,苏联学術界針对这个問題展开了廣泛热烈的时論。到目前为止,發表的論文已不下一、二百篇,对于問題的研讨提出了許多可貴的材料和創见。由于李森枓的学說在我國已經传播很廣,所以苏联的讨論引起了國內学術界的极大兴趣和密切注意,我國出版界正在把有关文献陸續地翻譯出版,我國学者並已     

C~2中双全纯映照的偏差定理

1.古典的单叶函数族的偏差定理的研究至少是1907年Kbe发现他的“Verzerrangsatz”开始的。 在Montel的有关单叶函数的书中,Henri Cartan写的附录指出了将一个复变数的单叶函数理论推广到多个复变数时的困难所在。他还建议一些有意义的课题,如凸映照及星     

多复变数的Schwarz导数(Ⅰ)

单复变数的Schwarz导数的重要性是众所周知的,它与微分方程、微分几何、多边形的共形映照及解析函数单叶性的一些判别法等相联系。单复变数的Schwarz导数有二个基本性质:1。若w=f(z)为|z|<1中的解析函数,则w的Schwarz导数在线性分式变换群下不变。2。若f(z)的Schwarz导数在|z|<1中处处为零,则f(z)必为线性分式变换。 如何在多复变数中引入Schwarz导数是不少人关注的问题。本文首先在第一类典型     

大跃进以来的磷矿研究工作

磷矿是最重要的农肥矿物原料,它对提高农作物单位面积产量有着重要的作用。中国科学院地貭研究所对磷矿的研究,虽然在1956年即曾进行了一些零星的工作,但正式工作却是在1958年的大跃进中开始的。当时我們分析了中国磷矿资源的現状,发現其中最主要的問題是地区不平衡,首先应在华北广大农业地区找出磷矿。要解决这个問题,第一、要明确到那里去找,第二、要拟定怎样才能在最短的时間內取得成果的工作方法。当时我們信为,要解决到那里去找的問題,就必須掌握切合中国实际地貭情况的成矿理論,有了成矿理論的指导,然后就能有方向。于是我們决定先摸成矿理論,再进行找矿。在我們研究了已有的不同成矿理論,拟定了我們的工作假說之后,便馬上出发到各个已有的矿点去实践和驗証。由于事先有准备,心中有数,我們对成矿理論的研究在短短的时間內得到了不少成果。但时間究竟过去了不少,当我們考虑到北     

中国科学院胚胎学学术会議

中国科学院于1959年12月7—13日在上海召开了胚胎学学术会议。参加会議的有来自六十多个科学研究机构、高等学校和生产部門的代表和列席代表166人。这次会議检閱了我国胚胎学工作者的成就,交流了經驗,并且討論了今后胚胎学发展的向。会議共收到25个单位的67篇論文,这些論文絕大部分是大跃进以后的研究結果。其中围繞水产、畜牧、养蚕、医疗等实践方面提出的問題占40％,探索性的理論研究占60％。从数量看,联系生产实践的論文比重是不够多     

近年来基本粒子物理理論研究的发展

自从1960年以来,我国基本粒子理論研究工作又得到了进一步的发展。每年发表論文的数量有显著的增加,研究工作的領域也較前寬广。在这三年半內,我国基本粒子理論工作者在《中国科学》、《物理学报》,以及苏联的《     

植物生态学、地植物学第一次学术会议

中国植物学会曾于1962年11月下旬在北京召开植物生态学、地植物学第一次学术会議。到会代表53名,代表全国22个省(区)的植物生态学、地植物学及有关学科的工作者。会議共收到論文86篇,会議期間宣讀了50篇。会議学术討論的中心问题是植被分类和植被分区。关于植被分类的原则,大家一致认为应以植被本身的特征为依据;但在是否包括环境条件的問題上仍有不同的意見。关于分类的等級,比較一致的     

中国数学会第二次全国代表大会

2月24日—3月4日,中国数学会在上海召开了第二次全国代表大会,集中討論了数学的发展方向和数学的教学改革问题。出席大会的有128人。会上,复旦大学副校长苏步青致开幕辞,他敍述了当前数学发展的大好形势,指出这次会議主要討論的問题都是围繞着如何进行数学革命的問題的。中国数学会理事长华罗庚作了中国数学会八年来的工作报告。报告中扼要地敍述了中国数学会八年来的工作概况,指出大跃进以来,全国数学工作者把数学和祖国社会主义建設紧密結合起来,发揮了敢想敢說敢做的共产主义风格,     

關於相对論的幾點意見

“人对空間和時間的概念是相对的,但从这些相对的概念中構成着绝对真理,这些相对的概念發展着,走向绝对的真理,接近绝对的真理。”——列寧一相对論在科学中的作用对於相对論在近代物理学中所起的作用的問題,也許每一个物理学家都会作出同样的答覆。每个物理学家都会这样說:“相对論是这样一个科学部門,沒有它就不能設想今     

对电化学发展的几点希望

近代的电化学在电极过程的領域内发展得最为迅速,这是因为在电极表面上所发生的过程与許多重要的电化学生产和其他实际問題有着很密切的联系。近年来,由于半导体科学和輻射化学的发展,电化学在其中也找到了它自己的应用。近代的理論电化学家們非常注意电极上的表面現象的研究,从而使电极过程动力学向前迈进了大大的一步,并且在某种程度上和其他一些学科,例如胶体化学、催化反应、半导体的     

微观自然地理学——地理学的新方向

微观自然地理学的內容是十分丰富的。它的主要服务对象应該是农业。下面列举于农业生产的关系較为密切的二个方面的例子,以說明其內容的一般性貭。一土壤盐渍化問題的微观自然地理学研究地下水中的盐随着水,通过土壤中的毛細管向上移动,水分蒸发后,盐分留于表土     

矿床的成因与找矿

一矿床成因的爭論研究矿床的成因,以及如何找矿是地貭学者、矿床学者的首要任务。但长时期来,在矿床学研究方面也存在着一些爭論問題,例如在研究地貭学的早期(十八世紀末),德国科学家魏尔納提出了水成說的看法,他认为地球表面曾經被一个水圈全面地包围着,     

1962年全国建筑物抗震问题学术会议

中国科学院技术科学部、中国土木工程学会、中国水利学会和中国力学学会于1962年11月19日至26日在哈尔滨市联合召开了全国建筑物抗震問題学术会議。会議共收到論文报告九十二篇,包括:地面运动、地震力理論、工业民用建筑和水工建筑的抗震設計問題,振动試驗和仪器观測等方面,几乎涉及到地震工程这門学科的各个分支。就論文的內容来看,有的是理論研究,也有的是为了解决某个具体工程的抗震問題而进行的試驗研究,更多是我們工程实践中的經驗总結,充分反映了地震工程这門学科近几年来在我国所取得的进展。     

当前分析化学的几個問题

每一个知識領域的进步,都决定于有关技术部門的需要,研究方法发展的需要,以及該科学部門內部发展規律的需要,在每一个阶段,它提出需要解决的理論问题,并要求采用一些新的研究方法。为了解决这些問題,常常要选择一些不同的对象,而这些对象的选择經常受着技术需要的影响。对分析化学說来,以下三个实际問題在目前有着最重要的意义:各种复杂的天然材料和工业材料分析方法的发展;微量杂貭的測定方法;生产自动控制方法的研究。