2) open mortise and tenon joint
明榫槽接合
3) open dovetailing
明鸠尾榫接合
5) indirect proof
间接证明
1.
Intuitionism questions the validity of law of excluded middle and the vaildity of indirect proof, and it indicates that classical logic is only a relative truth.
数学哲学中的直觉主义学派高度重视直觉和个人的创造性思维在科学实践中的作用,这具有积极的意义;它对排中律和间接证明方法有效性的质疑,揭示了经典逻辑只具有相对的真理性;它所倡导的构造性和能行性的研究方法,促进了人工智能和计算机科学的发展。
补充资料：机床: 榫槽机
加工木料上矩形榫槽或腰圆形榫槽的木工机床。榫槽机有链式榫槽机﹑方凿榫槽机和腰圆榫槽机等数种。
链式榫槽机 电动机通过变速箱和链轮驱动切削链(带刀齿的链条)在刀架上旋转﹐木料夹紧在工作台上(图1 链式榫槽机
)﹐加工时刀架带着切削链下降至一定深度即铣出矩形榫槽。加工长槽时﹐可移动工作台﹐并使切削链多次下降。链式榫槽机生产效率较高﹐但加工精度不高﹐大多用于建筑业加工门窗榫槽。
方凿榫槽机 内部装有钻头的空心方凿(见木工刀具)固定在刀架上﹐钻头的刃口略伸出于方凿刃口(图2 方凿榫槽机
)。加工时﹐方凿和钻头一起下降﹐钻头转动钻出圆孔﹐方凿将圆孔削成方形。加工长槽时可移动工作台反复切削数次。刀具进给方式有手动﹑气动或液压推动等。这种榫槽机可加工通孔和不通孔榫槽﹐加工精度高﹐大多用于家具业。
腰圆榫槽机 铣刀轴由电动机驱动作旋转运动。主轴可按照腰圆榫槽长度作快速摆动。工件夹紧在工作台上作进给运动﹐可一次加工出规定长度和深度的腰圆形榫槽﹐主要用于家具业。
链式榫槽机 电动机通过变速箱和链轮驱动切削链(带刀齿的链条)在刀架上旋转﹐木料夹紧在工作台上(图1 链式榫槽机
)﹐加工时刀架带着切削链下降至一定深度即铣出矩形榫槽。加工长槽时﹐可移动工作台﹐并使切削链多次下降。链式榫槽机生产效率较高﹐但加工精度不高﹐大多用于建筑业加工门窗榫槽。 方凿榫槽机 内部装有钻头的空心方凿(见木工刀具)固定在刀架上﹐钻头的刃口略伸出于方凿刃口(图2 方凿榫槽机
)。加工时﹐方凿和钻头一起下降﹐钻头转动钻出圆孔﹐方凿将圆孔削成方形。加工长槽时可移动工作台反复切削数次。刀具进给方式有手动﹑气动或液压推动等。这种榫槽机可加工通孔和不通孔榫槽﹐加工精度高﹐大多用于家具业。 腰圆榫槽机 铣刀轴由电动机驱动作旋转运动。主轴可按照腰圆榫槽长度作快速摆动。工件夹紧在工作台上作进给运动﹐可一次加工出规定长度和深度的腰圆形榫槽﹐主要用于家具业。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条