首页   注册   登录
 thekll 最近的时间轴更新

thekll

V2EX 第 54524 号会员,加入于 2014-01-19 15:53:30 +08:00
thekll 最近回复了
2017-11-15 02:10:57 +08:00
回复了 omph 创建的主题 Ubuntu 原生运行安卓程序的系统出现了!
是说在操作系统上自己又实现了一个 Android container ?而且只支持 ARM ?
2017-11-08 22:10:58 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@Biggoldfish
我不确定“自然科学”的定义。不过在这种场景下,其实也不需要去看严格的定义,即使有这样的定义存在。


也顺便,我想说在讨论问题前先看清楚别人在说什么可能也很重要。
2017-11-08 21:56:59 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@ryd994
自然哲学曾一度特指物理,从牛顿的“自然哲学的数学原理”书名就可看出。哲学这个概念太泛,几乎包括所有科学,要不博士学位怎么几乎都称 Ph.D。
非数学专业把数学作为工具来理解也没什么问题,但数学从数的概念产生,数论、几何系建立,就已脱离具象而向着抽象自我发展,肯定已不仅仅是工具这么简单了。

任何科学都是人定义的,在这点上可以去看哲学上的唯心说。在某种意义上,我们所看到的、所理解的就是一个虚拟的存在,存在于我们的意识中。真实的存在总有一些人类永远或暂时无法感知的属性。也正因为此,科学才需要不断发展。科学的主观性没发避免,但这并没有想象的那么严重,物理上许多不同定律其实是等价的,只是不同的人从不同的角度去描述。
即使某一天人类认识了所有的科学理论,还有工程方面的事可以做,在这方面几乎有无限可能。这也是数学的用武之地。比如去实现人工智能,然后人类就可以退出宇宙舞台了:)
2017-11-08 20:57:09 +08:00
回复了 bsns 创建的主题 程序员 学数学学出失落感来了
@matolv
好像有人(费曼?)说过数学不是自然科学,我不确定自然科学的严格定义,但数学本身应该属于科学范畴,而且是最纯粹的科学。这点从数论就能体现,许多数学上重要的理论方法都是在解决数论问题的过程中出现的。
“数学不是科学”这种观点,大概是因为没看到数学本质的一面,只看到了数学形式的一面。例如数字上的各种进制、几何上的不同公理体系,甚至有些混乱的数学标记、符号。假如从这个意义上说“数学是一门语言”,就有些不够深入。思想、程序、数学都需要某种形式系统作为载体,但这种形式本身并不是数学全部。
柯朗曾反对数学脱离实际应用,变成一种游戏;同样的,数学又要保持非常高的抽象性,并避免形而上的东西。

另一种说法“数学是宇宙的语言”,就相对比较能体现数学的本质。从这点上说,数学是研究“空间”的一门科学。这里的空间,就是指爱因斯坦相对论提到的那个空间,万物之源。
2017-10-22 02:37:43 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
@noli 说的没错。至于 cpu 怎么去处理它,当然是根据不同的数据类型和编码规范进行识别和处理。
2017-10-22 02:20:33 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
我上面的回答有点答非所问。
首先,unicode 是一整套的字符编码规范,按现有 codespace 定义,已经可以容纳足够多的字符,目前看来还没有必要再扩展。
其次不要把 UTF 和 unicode 搞混了,UTF-8,UTF-16,UTF-32 是 unicode 的具体编码实现。并不直接表示 codepoint。UTF-8 编码可以是 1 ~ 4 字节,UTF-16 是 2 或者 4 字节,UTF-32 则是 4 字节。
你说的 UTF-24 大概是想增加码空间,正如上面所说没必要,实际好多空间都还没用。
2017-10-22 00:49:26 +08:00
回复了 asiufasd 创建的主题 程序员 为什么没有 UTF-24 这种编码?
也没有 3 个字长的地址阿
关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1096 人在线   最高记录 5043   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.3 · 8ms · UTC 23:03 · PVG 07:03 · LAX 15:03 · JFK 18:03
♥ Do have faith in what you're doing.