跳到主要内容

学术思辨|为什么两数相除小于零,下一步就可以直接写范围了...

古怪问题研究中心

访问小组归档于 5/16/2025, 3:00:03 PM

学术思辨|为什么两数相除小于零,下一步就可以直接写范围了...

image

或者<(-C)的时候为什么就不能直接写出一个大于0一个小于0这种范围呢。

感觉这不是一个严密的解法。。有人能理解我的意思吗 为什么这么说呢,因为这只是大脑里的一个判断,不是一个严格的步骤。而判断的范围就是自己想的。

Fisherchenxi · 2022-10-18 · 12:28:14 江苏

你现在应该问的问题不是「xxx 严不严谨」,而是「什么是严谨的论证」,甚至是「什么是论证」。找点逻辑学和 Foundations of mathematics 的书看一看吧,比如这本:https://people.math.wisc.edu/~miller/old/m771-10/kunen770.pdf