请输入您要查询的字词:
单词
希尔伯特现代公理化方法
释义
希尔伯特现代公理化方法
Encyclopedia
哲学
西方逻辑史
释
modern axiomatic method of Hilbert
希尔伯特现代公理化方法
德国数学家D.希尔伯特1899年在《几何基础》一书中所使用的对几何理论进行严格形式化的公理化方法。
随便看
active binary
active bio-fertilizer
active block theory
active brazing
active bridge
active carbon
active carbon; activated charcoal
active carbon fiber
active carbon filter medium
active carbon trap
active cavity
active cavity radiometer
active center
active center of gravity control
active centre
active chromosphere
active chromosphere binary
active chromosphere region
active chromosphere star
active city center zone
active class
active clearance control
active collision avoidance control
active comet
active complex
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/6 7:13:56