略論数理邏輯的发生、发展和現状

数理邏輯是一門有着长远发展历史的科学。从二百几十年以前它的創始人德国数学家莱布尼茲(1646—1716)开始,数理邏輯就緩緩地发展着。可是,在最近十几年里,几乎是突然地,它异常迅速地发展起来了。各国数理邏輯的研究工作与干部培养的規模日益扩大着,有关的研究机构、研究队伍、科学成就、文献資料都在迅速增长着。数理邏輯的性貭与科学意义,对于許多人来說,还是不清楚的。