戈特洛布·弗雷格 编辑
弗里德里希·路德维希·戈特洛布·弗雷格，著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。
1
相关
《概念文字》是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。
在计算机科学中，柯里化，又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。
汉斯·斯卢加，加州大学伯克利分校教授。他主要讲授戈特洛布·弗雷格、维特根斯坦、海德格尔、福柯等人的哲学，以及纳粹时期的德国哲学，并撰写相关的著作。他在牛津大学时师从R. M. 海尔、吉尔伯特·赖尔及迈克尔·达米特。
汉斯·斯卢加，加州大学伯克利分校教授。他主要讲授戈特洛布·弗雷格、维特根斯坦、海德格尔、福柯等人的哲学，以及纳粹时期的德国哲学，并撰写相关的著作。他在牛津大学时师从R. M. 海尔、吉尔伯特·赖尔及迈克尔·达米特。
在计算机科学中，柯里化，又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。
汉斯·斯卢加，加州大学伯克利分校教授。他主要讲授戈特洛布·弗雷格、维特根斯坦、海德格尔、福柯等人的哲学，以及纳粹时期的德国哲学，并撰写相关的著作。他在牛津大学时师从R. M. 海尔、吉尔伯特·赖尔及迈克尔·达米特。
在计算机科学中，柯里化，又译为卡瑞化或加里化，是把接受多个参数的函数变换成接受一个单一参数的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的，尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。