APP下载

下一个程序是睡觉——数学家希尔伯特的故事

2016-04-17佚名

发明与创新 2016年6期
关键词:希尔伯特数学家程序

猜你喜欢

希尔伯特数学家程序
“买来的”数学家
一个真值函项偶然逻辑的希尔伯特演算系统
爱睡懒觉的数学家
数学家相亲
有趣的希尔伯特
试论我国未决羁押程序的立法完善
“程序猿”的生活什么样
英国与欧盟正式启动“离婚”程序程序
数学家回答“神”问题
基于希尔伯特-黄变换和小波变换的500kV变电站谐振数据对比分析