形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题,并在其后尝试定义有效计算性或者有效方法中成形。这些尝试包括库尔特·哥德尔、Jacques Herbrand和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的递归函数,阿隆佐·邱奇于1936年提出的λ演算,1936年Emil Leon Post的Formulation 1和艾伦·图灵1937年提出的图灵机。即使在当前,依然常有直觉想法难以定义为形式化算法的情况。
◎ 算是 suànshì[at last] 终于你可算是来啦,让我等得好苦-----------------国语辞典:总算、可被看成。《红楼梦.第六五回》:「如今既做了夫妻,我终身靠你,岂敢瞒藏一字。我算是有靠。」如:「论岁数、经验,我算是你的长辈,听我的准没错!」英语 considered to be, at last德语 endlich, zuletzt , schließlich, letzten Endes 法语 considéré comme, enfin, à la fin
僧道穿的衣服。-----------------国语辞典:僧人所穿的袈裟。《法镜经》:「或乏法衣者,当以给施之。」近袈裟,僧衣道士行道的法制衣服。《西游记.第六十七回》:「那道士,头戴金冠,身穿法衣。令牌敲响符水施为。」司法人员和辩护律师执职务时所穿的制服。也称为「法服」。英语 robe of a Buddhist priest, ceremonial garment of a Daoist priest, robe of a judge, nun, priest etc, cassock, vestment法语 robe d'un prêtre bouddhiste, habit cérémoniel d'un prêtre taoïste, robe d'un juge, d'une nonne, d'un prêtre etc., soutane, habit de cérémonie