涂效灰

正式用户

最新动态 7小时前

  1. 上周
    2019-01-07 21:49:34

    看到标题想起来,以前不知道在哪看到过,国外“数学危机”这种说法只用在集合论悖论上,而三次数学危机的说法基本上只有国内在用。有谁也见过这种说法吗?

    有限元素的集合是可以的,整数集和有理数集也是可以的,我们有归纳法和超限归纳法,这就使得我们可以穷尽地定义很多无限集合的元素。但是实数集,我们不知道是否可以这样做。

    我不太理解你说的“可以穷尽地”是什么意思……不过如果我没理解错,这个应该是可以确定不可能的。因为一个有限的语言的只有可数个(有限的)语句,当然不能唯一定义一个实数。

    另外很期待楼主说的和选择公理有关的内容,是和实数集的结构有关的内容吗?

  2. 3月前
    2018-09-18 15:54:12

    @foozhencheng 目测是考虑了计算机里的整型,因此当x或y为负时,有一个下界,比如-2^31,当这个数再减去1时,会立即成为给定位数下最大的整数,比如2^31 - 1。这样的话就不是无穷对数了。。。

    那也不对啊,这样的话xy<4的概率应该大致和n(下确界)成反比,应该远小于这些答案吧。除非不是等可能的……

  3. 4月前
    2018-08-17 22:27:37
    涂效灰 更新于 来自准高二的脑洞

     /asnowwolf-amuse 你确定上面那个不是在玩neta?

  4. 9月前
    2018-04-10 18:17:43

    @勇者护手 歪个楼 是化吧吧主那个凤舞九天吗

    对,此处应有拔毛 /<<

  5. 2018-03-27 21:43:13

    @aleph0 现代数学除了代数、分析、几何,还有很多主要分支,比如:
    数理逻辑 - 公理集合论、递归函数论、模型论、证明论......
    数论 - 代数数论(类域论......)、解析数论(自守形式......)
    组合 - 图论、染色理论......
    PDE - PDE
    表示论
    动力系统

    话说国外数理逻辑应该和其它数学分支(研究者人数)差不多,不像国内这么惨淡吧?

  6. 2018-03-22 17:19:01
    涂效灰 更新于 组合..几何?

    给LZ重写一遍问题吧,方便阅读。


    \(A_{1},A_{2},…,A_{n}与B_{1},B_{2},…,B_{n}是\mathbb{R}^2上的2n个点\)
    \(直线A_{i}A_{j}(j=1,2,…,n,i<j)按长度(大概?)递减排成的序列为x_1,x_2,…,x_{\frac{n(n+1))}{2}}\)
    \(直线B_{i}B_{j}(j=1,2,…,n,i<j)按长度递减排成的序列为y_1,y_2,…,y_{\frac{n(n+1))}{2}}\)
    \(若任一i\in \{1,2,…, \frac{n(n+1)}{2}\}有x_i=y_i,则存在f\in S_n使得A_{i}A_{j}=B_{f(i)}B_{f(j)}(j=1,2,…,n,i<j)\)


    写完之后感觉好像是个代数问题……

  7. 10月前
    2018-03-16 21:46:26
    涂效灰 更新于 「炼金术」与稀有气体

    @FatFish 结果对面提出了一些诸如“文章太长了”“这里看不太懂”之类的点评,使得修改起来很麻烦——你要再多做解释就得再多写,但是对面又嫌这个太长,就很矛盾。(比如说,对方说不熟悉光谱分析怎么回事,我们不得不再加一段有点跑题的光谱分析介绍。)

    先不说科普是不是要读者本身就有一定水平吧,不知道光谱分析是啥不怎么影响阅读吧 /<

  8. 11月前
    2018-01-22 01:44:58
    涂效灰 更新于 一道压轴题

    @低调神 尝试理解+整理一下:

    设\(F(x)=x^3+3ax^2+2a^2x\),其中有\(x_{1},x_{2}\)(\(x_{1}<x_{2}\))为\(G(x)=F(x)-\beta a^2 x \)的两根,可以使\(F(x_{1})< F(x_{2})\)成立的条件有 ( )

    \(A. -1<\beta <0 \)
    \(B. 0<\beta <2 \)
    \(C. \beta >2 \)
    \(D.\)没有正确答案

     /0o0 我这么理解是对的吗。。

    太神奇了,你是怎么理解出来的 /-_-

  9. 2018-01-20 11:30:53
    涂效灰 更新于 一道压轴题

    若\(x1,x2\)其中前者小于后者是函数

    这是啥意思?

  10. 去年
    2017-12-25 22:20:12

    你肯定这个能初等表达吗?

查看更多