[bssd]写程序造成脑子退化 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Programming - 葵花宝典

[bssd]写程序造成脑子退化

[bssd]写程序造成脑子退化# Programming - 葵花宝典

M*y2019-01-12 08:01

1 楼

【以下文字转载自 Quant 讨论区】
发信人: MsPiggy (coconut), 信区: Quant
标题: 一道关于两倍年龄的题目
发信站: BBS 未名空间站 (Thu Mar 11 19:32:14 2010, 美东)
有没有高手来说说这道题怎么讨论？
两个人，A,B. A的年龄比Ｂ大。
For what length of time in their lives will A's age be twice B's age? (此处
的年龄说的是 truncated integer age). 还有一个assumption是两个人都可以无限地
活下去。
假设不限定具体的年龄数，该如何讨论这道题目呢？多谢！
我自己觉得无论Ａ，Ｂ多少岁，这个问题的答案始终是１年
不知道对不对，有什么合理的讨论方法

N*o2019-01-12 08:01

2 楼

Recently, I found one recored from a credit card company negatively impacted
my credit score due to one time late payment accidently. I had this
situation before but was never reported to the Burea. I tried to dispute
with the bank and felt not a strong case. Any guru there had this
experience before and was successful to dispute this case? Please share.
Appreciate your help!!!!

g*t2019-01-12 08:01

3 楼

脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
于一点。搞到半截，差点没证明出来，出了一头汗。
写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
而不是观察和思考。

l*82019-01-12 08:01

4 楼

Let set T = {t | 2 * floor(t) == floor(t + A.age - B.age)}
Let c = floor(A - B), d = (A - B) - c
Then T = {t | (t >= c && t < c + 1 - d) || (t >= c + 2 - d && t < c + 2)}.
Therefore the measure of T is 1.

h*z2019-01-12 08:01

5 楼

是说银行放过你一次了你再犯了被银行报上去了？

impacted

【在 N******o 的大作中提到】

: Recently, I found one recored from a credit card company negatively impacted
: my credit score due to one time late payment accidently. I had this
: situation before but was never reported to the Burea. I tried to dispute
: with the bank and felt not a strong case. Any guru there had this
: experience before and was successful to dispute this case? Please share.
: Appreciate your help!!!!

x*42019-01-12 08:01

6 楼

重心到三个顶点的距离相等。

【在 g****t 的大作中提到】

: 脑子里现在都是可执行的步骤。推理能力退化的厉害。今天给小孩讲三角形三条中线交
: 于一点。搞到半截，差点没证明出来，出了一头汗。
: 写程序提高动手能力。似乎也让人读书兴趣下降。因为有想法的第一选择是制造出来。
: 而不是观察和思考。

M*y2019-01-12 08:01

7 楼

Thanks!!!! That makes a lot of sense!

【在 l***8 的大作中提到】

: Let set T = {t | 2 * floor(t) == floor(t + A.age - B.age)}
: Let c = floor(A - B), d = (A - B) - c
: Then T = {t | (t >= c && t < c + 1 - d) || (t >= c + 2 - d && t < c + 2)}.
: Therefore the measure of T is 1.

N*o2019-01-12 08:01

8 楼

I meant this happened with another bank. This was first time with this bank.

Thanks!

【在 h****z 的大作中提到】

: 是说银行放过你一次了你再犯了被银行报上去了？
:
: impacted

g*t2019-01-12 08:01

9 楼

We need a mathematic proof.

: 重心到三个顶点的距离相等。

【在 x***4 的大作中提到】

: 重心到三个顶点的距离相等。

f*r2019-01-12 08:01

10 楼

what does it mean by "truncated integer age"? does that mean the age could
overflow?

r*t2019-01-12 08:01

11 楼

你这个断言能被证出来是错的。
三个中线交于一点的证明应该是超过教纲的要求，我不记得初中有证过。当然我读的学
校不是很好。
搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。

【在 x***4 的大作中提到】

: 重心到三个顶点的距离相等。

M*y2019-01-12 08:01

12 楼

it means if my age now is 27 and next month on my birthday, my age will
become 28

【在 f**r 的大作中提到】

: what does it mean by "truncated integer age"? does that mean the age could
: overflow?

g*t2019-01-12 08:01

13 楼

我也搜过Wikipedia 。看了一眼觉得短时间看不懂。于是决定自己写一个。然而差点卡
在了半路。
我给小孩讲这个是想告诉他什么叫数学证明。为什么古希腊有一小撮人认为数学是寻找
真理的道路。等于是和他闲聊历史知识。
但是把命题的真假，通过演绎，建立起来和公理真假的联系，这个approach讲清楚是很
复杂
的。

: 你这个断言能被证出来是错的。

: 三个顶点交于一点的证明应该是超过教纲的要求，我不记得初中有证过。
当然我
读的学

: 校不是很好。

: 搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。

【在 r****t 的大作中提到】

: 你这个断言能被证出来是错的。
: 三个中线交于一点的证明应该是超过教纲的要求，我不记得初中有证过。当然我读的学
: 校不是很好。
: 搜了一把还能看懂证明，汗，觉得人群中知道怎么证的人不到一成。

n*t2019-01-12 08:01

14 楼

嗯，這是因為大部分人寫程序用太多庫了。。
此外，幾何這個東西本來就是鍛煉腦子用的，美國這邊從使用主義出發，重代數輕幾何
很嚴重.(當然這個所謂重視代數其實就是一般學生就學學代公式就行了)

【在 g****t 的大作中提到】

n*t2019-01-12 08:01

15 楼

我認為大部分人並不適合學數學。。
比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人也是有好處的
，就是不適合學數學。

【在 r****t 的大作中提到】

l*s2019-01-12 08:01

16 楼

太简单了，两个面积等式而已。

【在 g****t 的大作中提到】

l*s2019-01-12 08:01

17 楼

这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。

g*t2019-01-12 08:01

18 楼

现在的数学知识体系是按照希腊人的想法组织的。
对希腊人来说，math is a way to find truth。
对有的希腊人来说，这就是the way。万物皆数。
不理解这点的。恐怕真正学习数学只能是加深痛苦。
但你说的很对。世上学问多的是。不懂数学也没啥。几百上万的乱
七八糟的各种庙，拜一个就可以了。做个星宿派，不进庙里和人抱团取暖，也可以。

: 我認為大部分人並不適合學數學。。

: 比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人
也是有
好處的

: ，就是不適合學數學。

【在 n******t 的大作中提到】

: 我認為大部分人並不適合學數學。。
: 比如說他那種是典型的並不能appreciate嚴格證明的那種人，當然這種人也是有好處的
: ，就是不適合學數學。

g*t2019-01-12 08:01

19 楼

写程序本身也是数学证明的不同技术。
例如你写一个程序add(a,b),运行了add(1,1),看到输出2。
那你就证明了你写的这段程序add(1,1)的结果是2。
运行一下看结果。和用演绎的办法从代码出发证明
add(1,1)结果为2都是可以的。你查查python说明书里面，formal provbility 那一节
看能看懂不。
程序写多了就类似于天天用一种证明问题的技术。
很可能别的方法就不熟练了。

: 这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。

【在 l*********s 的大作中提到】

: 这个不能马上证明出来的只能说明脑子太浆糊了，写多少程序都解释不了。

P*H2019-01-12 08:01

20 楼

为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。

【在 g****t 的大作中提到】

a*g2019-01-12 08:01

21 楼

编程偏重于逻辑实现

【在 g****t 的大作中提到】

r*t2019-01-12 08:01

22 楼

两个面积等式应该是不行的。

【在 l*********s 的大作中提到】

: 太简单了，两个面积等式而已。

r*t2019-01-12 08:01

23 楼

你把结论重新 state 一遍，不能称其为证明吧。

【在 P**H 的大作中提到】

: 为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。

n*t2019-01-12 08:01

24 楼

..............

【在 P**H 的大作中提到】

: 为什么证明不了？两条中线的交点必然在第三条的中线上。3个等腰三角形。

n*t2019-01-12 08:01

25 楼

這個帖子越來越搞笑了。。

【在 r****t 的大作中提到】

: 你把结论重新 state 一遍，不能称其为证明吧。

v*r2019-01-12 08:01

26 楼

我试了一下，用面积，然后还用了一个反证法（证明交点到第三个顶点和第三个中点成
一直线）
标准证明是这么做的么？

【在 r****t 的大作中提到】

: 两个面积等式应该是不行的。

l*s2019-01-12 08:01

27 楼

我觉得应该是。

【在 v********r 的大作中提到】

: 我试了一下，用面积，然后还用了一个反证法（证明交点到第三个顶点和第三个中点成
: 一直线）
: 标准证明是这么做的么？