|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 在直觉主义逻辑中根据N建立的形式系统IN，把N只是修改了一处规则集中的一条 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=56180) |
|
-- 作者：wu5zg -- 发布时间：11/29/2007 10:14:00 AM -- 在直觉主义逻辑中根据N建立的形式系统IN，把N只是修改了一处规则集中的一条 在直觉主义逻辑中根据N建立的形式系统IN，把N只是修改了一处规则集中的一条，可是这N中的一条变为IN中的两条，这处改动是如何体现直觉注意逻辑的不同的，没看懂 |
|
-- 作者：Logician -- 发布时间：11/29/2007 4:48:00 PM -- 改规则的最终目的是要“在确保排中律无法被推出的情况下，让其它尽可能多的定理被推出”。 人们想过不少替代规则/公理，最初的可能还比较直观，越往后（为了让尽可能多的不违反直觉逻辑原则的定理可以被证明出）就越繁琐，越不直观了。 你只要确认它们能确保排中律无法被推出，且能推出很多其它定理，就可以了。 如果从演变的过程来观察，可能更能理解它们的直观意义（如果它们还有直观意义的话）…… |
|
-- 作者：fgffggfg -- 发布时间：11/29/2007 6:25:00 PM -- 那个问下大纲没变吧，直觉主义考研不考吧？？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |