跳到主要内容
数学溢出

返回问题

重新打开后通过比约恩·科霍斯·汉森,乔纳斯·伊尔马维塔,尤夫·卡卢斯,保罗·加雷特,本杰明·迪克曼
调用stone-soup原则http://meta.mathoverflow.net/questions/1046/what-shall-we-do-with-stone汤
来源 链接
尤夫·卡卢斯
尤夫·卡卢斯
  • 59公里
  • 三
  • 41
  • 57

为什么？做人说使用“形式计算”当他们实际执行“非正式计算”时描述非正式计算?

我是说很多次,我相信我懂了这个词“非正式”应该更适合于你表演的场合正式的被用来描述计算那就是不严格地严格的.我认为这样的计算应该被称为非正式的比正式的.这个词如此广泛的用法是什么解释正式的?

为什么人们说“形式计算”当他们实际执行“非正式计算”时?

我是说,我相信这个词“非正式”应该更适合你表演的场合计算不是严格地.

为什么？做人使用“形式计算”描述非正式计算?

很多次,我懂了这个词正式的被用来描述计算那就是不严格的.我认为这样的计算应该被称为非正式的比正式的.这个词如此广泛的用法是什么解释正式的?

发布的社区Wiki通过托德·特里布尔♦
岗位关闭“不适合本网站”杨迪安（Deane Yang）,尤夫·卡卢斯,凯文·沃克,安迪·普特曼,埃里克·沃夫西
来源 链接
马梅迪兹
马梅迪兹
  • 113
  • 1
  • 6

为什么人们在实际执行“非正式计算”时会说“正式计算”？

我的意思是，我认为“非正式”这个词应该更适合于不严格地进行计算的情况。