k*****u
发帖数: 578 | 1 M1500的配置是：
MODEL: 1500
TYPE: Rifle
SIGHTS: No Sights
CAL: 223
BARREL LGTH: 22" Rifling: 1-12"
FINISH: Blue
ACTION: Bolt Action
WEIGHT: 9.35 lbs
STOCK: Black Hogue Soft Grip Stock
CAPACITY: 5+1
FEATURES: Hinged Floor Plate, Sling Swivel Studs
Nikko Stirling Platinum 3-10x42 Nighteater Scope
M1500 Axiom Varminter的配置是：
MODEL: 1500|Axiom
TYPE: Rifle
SIGHTS: No Sights
CAL: 223
BARREL LGTH: 24" Heavy Barrel
FINISH: Blue
ACTION: B... 阅读全帖 |
|
B***S
发帖数: 73 | 2 New York, NY
Job Description
Duration: 6+ Months
Primary Duties:
Project status tracking, resource allocation and management.
Conducting process and system studies and coordinating with team members for
System Design & Integration, Application Maintenance, etc.
Delivering and implementing project as scheduled and ensuring compliance to
quality standards. Liaising with the onsite and offshort development and
support teams.
Designing the entities and peforming coding, data verification, etc.
Pre... 阅读全帖 |
|
|
|
h******d
发帖数: 4761 | 5 打猎都太重，打靶俺选后一个。
其实俺很喜欢M1500 Axiom Varminter的造型，
下一个俺就要这个。
其实这个跟找老婆一样，很多时候自己看顺眼就好。 |
|
w*******y
发帖数: 60932 | 6 An additional 20% comes off in cart on most styles, there are no stacking
coupons that I can find currently. Some of them are frustrating, sorry-the
lego shoes are mostly available for shipping in the smaller toddler sizes.
As always with Sears, some things are ymmv as for in stock/shipping/in store
availability.
All Kids Shoes:
http://www.sears.com/shc/s/s_10153_12605_Shoes_Kids_View All?filter=storeOrigin|Sears&viewItems=25&sbf=Sale&sortOption=PRICE_LOW_TO_HIGH
(Toddler sneakers for $6.79-Pa... 阅读全帖 |
|
g******y
发帖数: 2517 | 7 M-Audio Axiom 25 Advanced 25-Key USB MIDI Controller, 2nd Gen, 52% off
http://amzn.to/toCxXE |
|
S*********4
发帖数: 5125 | 8 美曝中国一黑客组织比军方更牛 威胁西方利益
文章来源: 环球网 于 2014-10-29 21:31:37 - 新闻取自各大新闻媒体，新闻内容并不
代表本网立场！
打印本新闻 (被阅读 22666 次)
原标题：美曝中国一黑客组织比军方更厉害 威胁西方利益
美国网络安全联盟28日发布报告称：曾经被他们视为洪水猛兽的所谓“中国61398黑客
部队”已不再先进，如今代表中国黑客顶尖水平的是一个名为“Axiom”的小组。报告
发表距离中美领导人在北京APEC峰会见面不到两周的时间，让人很自然地联想起去年6
月两国领导人在加州安纳伯格庄园会晤前，美媒也集中炒作了一次“中国黑客威胁”。
黑客似乎正在代替人权、民主、人民币汇率和东风—31导弹，成为美国对华发动舆论战
的新落点。而巧合还不止这一个，28日，参与发表“中国黑客”最新报告的一家美国公
司同时发表了一份指控“俄罗斯黑客”的报告，并称如今俄黑客水平也全面赶超了“
61398部队”。在传统战争日益减少的今天，网络战的硝烟味却越来越浓。美国商业杂
志《快速公司》28日发问道：这是否意味着东西方之间正在形成新的“数字铁幕”？
“中国有了更厉害的黑... 阅读全帖 |
|
a****r
发帖数: 12375 | 9 这是哪个部门组织的？
上次那个是军方的，这次这个是国安的？
美曝中国一黑客组织比军方更牛 威胁西方利益
文章来源: 环球网 于 2014-10-29 21:31:37 - 新闻取自各大新闻媒体，新闻内容并不
代表本网立场！
打印本新闻 (被阅读 22666 次)
原标题：美曝中国一黑客组织比军方更厉害 威胁西方利益
美国网络安全联盟28日发布报告称：曾经被他们视为洪水猛兽的所谓“中国61398黑客
部队”已不再先进，如今代表中国黑客顶尖水平的是一个名为“Axiom”的小组。报告
发表距离中美领导人在北京APEC峰会见面不到两周的时间，让人很自然地联想起去年6
月两国领导人在加州安纳伯格庄园会晤前，美媒也集中炒作了一次“中国黑客威胁”。
黑客似乎正在代替人权、民主、人民币汇率和东风—31导弹，成为美国对华发动舆论战
的新落点。而巧合还不止这一个，28日，参与发表“中国黑客”最新报告的一家美国公
司同时发表了一份指控“俄罗斯黑客”的报告，并称如今俄黑客水平也全面赶超了“
61398部队”。在传统战争日益减少的今天，网络战的硝烟味却越来越浓。美国商业杂
志《快速公司》28日发问道：这是否意... 阅读全帖 |
|
s*******u
发帖数: 1855 | 10 Below are my understandings. Some come from all the inductive school
(Russel, etc), some could be totally wrong.
There are two approaches to know the world: induction and deduction.
Logic is above all. It is neither induction nor deduction. Logic (like
syllogism) gives the rules/laws to do deduction. There are surely
classifications of logic, like proposition logic, predicate logic, etc. But
in general, Logic does not KNOW the world directly, but gives us tools to
know the world.
Math = Axioms +... 阅读全帖 |
|
s***h
发帖数: 487 | 11 Axiom of choice 不会使加上一个无穷远点的构造无效。实际上 Axiom of choice 不
会让数学构造无效（除非直接冲突），因为数学本质上是逻辑，axiom of choice 是公
理。
Axiom of choice 在这里，是让智人对映射的直觉部分无效，这里就是加上无穷远点，
突然使得 无限 的平面，突然变成 有限 的球面，出现直觉悖论。这是因为智人直觉上
，默认映射是某种程度的 conservation （无限不会点对点一一对应映射成有限），而
AC 使该直觉的 conservation 无效。
: 你这是属于一般性的议论，axiom of choice可能使人类直觉无效。这是对的，
但是具
: 体在这个一点紧致化的构造中，无穷远点的开集，在这个构造中，axiom of
choice在
: 哪里会使构造无效？
|
|
a*****g
发帖数: 19398 | 12 http://www.huffingtonpost.com/david-gosset/weiqi-versus-chess_b
Using a universally relevant metaphor, Zbigniew Brzezinski, former National
Security Adviser to US president Jimmy Carter, wrote in The Grand Chessboard
(1997): "Eurasia is the chessboard on which the struggle for global primacy
continues to be played." China's New Silk Road strategy certainly
integrates the importance of Eurasia but it also neutralizes the US pivot to
Asia by enveloping it in a move which is broader both in space a... 阅读全帖 |
|
t******l
发帖数: 10908 | 13 画线段解是标准的把那种 algebra time/clock problem 转换成 geometry
measurement problem 的解法，其背后的依据是 geometry measurement 和 time
measurement 都遵守 "congruent figure has same area/length" 以及
axiom of union 那两条 axiom。
但这个 mapping 的 formal operation 超过小学四年级要求。。。实际上小学四年级
还不能把 AMC 10 的 geometry word problem 把 word 画成图 (其背后是把 rule /
operation 给 decoding 成 objects)，更不可能把 time problem 给 decoding 成
geometry problem 了。。。如果有这个 formal operation 能力的话，那用
kinematics 解球
面上 "每一圈升高一米" 就不会是个问题，因为那个是把 geometric measurement
problem ... 阅读全帖 |
|
t******l
发帖数: 10908 | 14 现在回到 “友谊村基础数学” vs “加州理工唯美纯数” vs “蓝翔挖掘机应用
数学” 的问题。
其实我觉得，上面这个分类，本身并不代表任何本质问题。。。数学的本质是
"make sensible prediction of pattern itself (distinguish from
physics ...etc) under the given context"。。。上面三种，其实本质上
只是 “given context” 的差别，不是 “质” 的问题。。。“质” 的问题，是
“sensible prediction” 里的 “sensible”。
或者用俺自己的话，在所有那些 axiom 的后面，有一条最最基本的 axiom，
叫 “axiom of absurdity” (对应于 "sensible" prediction) 。。。
如果严重违反了 “axiom of absurdity”，其他啥 “axiom of choice”
啥的，都是扯。。。
而如果要俺给 “axiom of absurdity” 下个定义的话，就是黄小木同志曾经
说过的：
"Under gi... 阅读全帖 |
|
a*****g
发帖数: 19398 | 15 http://www.huffingtonpost.com/david-gosset/weiqi-versus-chess_b
Using a universally relevant metaphor, Zbigniew Brzezinski, former National
Security Adviser to US president Jimmy Carter, wrote in The Grand Chessboard
(1997): "Eurasia is the chessboard on which the struggle for global primacy
continues to be played." China's New Silk Road strategy certainly
integrates the importance of Eurasia but it also neutralizes the US pivot to
Asia by enveloping it in a move which is broader both in space a... 阅读全帖 |
|
发帖数: 1 | 16 很快就能上天耍了：美航天私企拟建全球首座商业空间站， 或替代国际空间站
据美国《福布斯》杂志4月11日消息，位于休斯顿的新兴商业空间站开发商Axiom Space
将打造全球第一家私人融资的商业空间站。预计该空间站将在2024年完工，有望带来巨
大的利润。Axiom Space公司希望能更多地使用现有的太空设备，以降低国际空间站（
ISS）的巨额成本。
打造此商业空间站需耗成本15亿美元（约合103.5亿元人民币），远远低于国际空
间站的1000亿美元（约合6899亿元人民币）成本。
阿克肖姆航天公司首个太空舱（图片右下安装太阳能板的部分）与国际空间站对接效果图
Axiom Space公司的战略发展副总裁阿米尔？布拉赫曼（Amir Blachman）表示，
美国国家航空航天局（NASA）之所以对国际空间站私有化的计划感兴趣，在一定程度上
是因为NASA每年需花费35亿美元（约合241.5亿元人民币）用以维护国际空间站，低于
其190亿美元（约合1310.9亿元人民币）的预算。布拉赫曼认为这是NASA的最高开销了
。
Axiom Space公司预计将在今年开始训练... 阅读全帖 |
|
b***n
发帖数: 13455 | 17 Stop worrying about FL and enjoy the rally in Tampa today
Latest Miami-Dade Early Mail Voting as well as Early Voting as (which
started on 10/24) of 11/4
Voted-by-Mail (Returned)
Rep: 91,806
DEM: 108,345
Other: 3,270
No Party Affiliation: 59,736
Total Returned: 263,157
#Trump(Rep): 34.9%
#HRC(Dem): 41.2%
Other: 1.2%
No Party Affiliation: 22.7%
Early Voting (Only)
Rep: 93,253
DEM: 158,462
Other: 4,491
No Party Affiliation: 83,683
Total Voted: 339,889
#Trump(Rep): 27.4%
#HRC(Dem): 46.6%
Other: 1.3... 阅读全帖 |
|
b***n
发帖数: 13455 | 18 Florida Data, Ballots, and Ground Reports: Latino Vote Supports Patrone’
Impact…
Posted on November 7, 2016 by sundance
In any analysis of Florida voting the Latino cultural impact is most often
mis-identified by the media, 2016 is no exception. While the MSM is
correctly identifying an up-swing in Latino Florida early voting, the MSM is
also mistakenly inferring this to be a pro-Clinton narrative.
trump-sarasota-2
Those who live and work within Florida will quickly note there is a wide
cult... 阅读全帖 |
|
发帖数: 1 | 19 很快就能上天耍了：美航天私企拟建全球首座商业空间站， 或替代国际空间站
据美国《福布斯》杂志4月11日消息，位于休斯顿的新兴商业空间站开发商Axiom Space
将打造全球第一家私人融资的商业空间站。预计该空间站将在2024年完工，有望带来巨
大的利润。Axiom Space公司希望能更多地使用现有的太空设备，以降低国际空间站（
ISS）的巨额成本。
打造此商业空间站需耗成本15亿美元（约合103.5亿元人民币），远远低于国际空
间站的1000亿美元（约合6899亿元人民币）成本。
阿克肖姆航天公司首个太空舱（图片右下安装太阳能板的部分）与国际空间站对接效果图
Axiom Space公司的战略发展副总裁阿米尔？布拉赫曼（Amir Blachman）表示，
美国国家航空航天局（NASA）之所以对国际空间站私有化的计划感兴趣，在一定程度上
是因为NASA每年需花费35亿美元（约合241.5亿元人民币）用以维护国际空间站，低于
其190亿美元（约合1310.9亿元人民币）的预算。布拉赫曼认为这是NASA的最高开销了
。
Axiom Space公司预计将在今年开始训练... 阅读全帖 |
|
t******l
发帖数: 10908 | 20 我觉得实话实说，对于大部分人，也包括我自己，一辈子也不需要真正搞懂
Banach-Tarski paradox 和 Axiom of Choice。
对于大部分人，也包括我自己，所需要的，是老老实实把中学数学里面 “有理数/
无理数/实数/虚数/复数” 基础给搞搞明白，不要经常出现 “法兰西是培根”
就足够了。。。而对于 Banach-Tarski paradox，就当武侠泛读看看，跟中小
学数学内容类比一下，大致知道个意思就可以了。。。古人云：“光阴是用来虚度
的，不是用来纠结纯数问题的。”
而对于 Banach-Tarski paradox，如果跟中小学数学类比的话，也就是相当于
在 Euclidean geometry measurement 的时候，任何画出来的线段长度不能上
虚数，即使是中间过程。。。原因是即使中间过程里画出来的线段上虚数，也会
有 Euclidean geometric system don't agree with itself 而导致
absurdity 的实在而明确的风险。。。举个例子的风险比如直角三角形的直角
跑到另一个地方去了，导致欧几里德得的第四... 阅读全帖 |
|
c*******y
发帖数: 1630 | 21 这个属于理念，我的理解是你的首要目的是赚钱，那就是投机。
不管你是持有一毫秒还是20年，不管是spread还是分红。
我发那段给你看看，不
The supposed difference between investing and speculating deserves to be
explored, for it may have been getting in your way as you tried to come to
grips
with the First Axiom. We students of the Zurich Axioms frankly call
ourselves
speculators. This may make it sound to you as though you are being urged or
will be
urged to take wild and harebrained chances. You may think you'd rather be an
investor than a speculator. Being an ... 阅读全帖 |
|
发帖数: 1 | 22 很快就能上天耍了：美航天私企拟建全球首座商业空间站， 或替代国际空间站
据美国《福布斯》杂志4月11日消息，位于休斯顿的新兴商业空间站开发商Axiom Space
将打造全球第一家私人融资的商业空间站。预计该空间站将在2024年完工，有望带来巨
大的利润。Axiom Space公司希望能更多地使用现有的太空设备，以降低国际空间站（
ISS）的巨额成本。
打造此商业空间站需耗成本15亿美元（约合103.5亿元人民币），远远低于国际空
间站的1000亿美元（约合6899亿元人民币）成本。
阿克肖姆航天公司首个太空舱（图片右下安装太阳能板的部分）与国际空间站对接效果图
Axiom Space公司的战略发展副总裁阿米尔？布拉赫曼（Amir Blachman）表示，
美国国家航空航天局（NASA）之所以对国际空间站私有化的计划感兴趣，在一定程度上
是因为NASA每年需花费35亿美元（约合241.5亿元人民币）用以维护国际空间站，低于
其190亿美元（约合1310.9亿元人民币）的预算。布拉赫曼认为这是NASA的最高开销了
。
Axiom Space公司预计将在今年开始训练... 阅读全帖 |
|
l**********t
发帖数: 5754 | 23
a
"why one cannot become a Christian through reasoning" --
Christian belief is based on faith, just as all scientific arguments are
based on axioms & assumptions. Any reasoning in seek of the proof for the
axiom is vain.
However, conditioning on the acceptance of a set of axiom, you can validate
(thru empirical evidences and reasoning) whether the system built on the set
of axiom can help with your understanding of life (in the case of religion)
or nature ( in the case of natural science). |
|
x***x
发帖数: 3401 | 24 少往基督教脸上贴金了，不是所有不能被证明的命题都是axioms。哥德巴赫猜想为什么
是猜想而不是公理？
axioms必须简单且显而易见不能证明但是提供证伪机制。绝大部分人都能接受不会且不
会引起争辩的命
题才可以是axiom。基督教一来不显而易见，二来不提供证伪机制，又不是绝大部分人
都接受。这离
axiom还差得远着呢好吧？
Lao
作 |
|
i*******e
发帖数: 349 | 25 My 2 cents. Disclaimer: I am not a micro theorist.
A demand equation/system describes human behavior by linking quantity
demanded to price. Utility theory posits that people maximizes an objective,
often under the assumption of rationality. Under the weak axioms of
revealed preference, we know the Marshallian demand is downward sloping.
A alternative approach perhaps can start with some behavioral postulates/
axioms without specifying an objective (utility). Just like traditional
utility theory.... 阅读全帖 |
|
t******l
发帖数: 10908 | 26 我之所以要 "单个数的信息量不能为无穷大的实数"，或者 "能表达成
有限自动蹦蹦机的有限信息量“，本质上是我无法接受 Costco 开西瓜悖论
Banach–Tarski paradox 讥讽漫画里面的那句 "I told you don't use
axiom of choice!"。。。因为我不能接受在决定用不用 axiom of choice 之前
，先开车去希尔伯特查经班转一圈。。。而且希尔伯特查经班也有时候公说公有理娘说
娘有力的，没有一个统一的规则说这 axiom of choice 到底许用不许用。。。
: 绝大部分实用理论所依赖的实数集，本质上是 "单个数的信息量不
能为无穷大的
实数子
: 集"。。。一个最明显的例子就是高中解析几何，虽然号称实数集合
，但实际题
目里所
: 有的坐标点（cut），都是有限信息量的 cut。。。永远不会出现随便一
来的无
限信息
: 量的 Dedekind 闭着眼睛胡乱 cut。。。而这保证所有几何测量都守恒， |
|
s***h
发帖数: 487 | 27 你这个贴没看到本质问题。这个本质问题就是实数集上的 Axiom of choice，我这不是
开无轨电车，我这么解释。
你上面已经提到了 映射。 你这里的拓扑映射就是实数集合上面的 bijection 。整个
拓扑学就是硬射函数是连续函数， continuous transformation function。
但你不管是怎样的硬射函数，看起来多么 definable，你最终要走到两个实数集之间的
硬射，也就是定义域实数集和值域实数集之间的硬射。
而两个实数集之间的硬射，归根到底就是 axiom of choice 。 而实数集之间的 axiom
of choice ，是没有 definable 的（图灵机刹得住车的）choice function。这就带
来了到底是硬射美胸系花，还是硬射美腿系花，这样的硬射选择困难，因为 choice
function is non-definable（图灵机刹不住车，硬而不射），而最终让数学成为哲学
，或者说，美学。
哥们侃问题要侃本质 。。。
: 复球面无穷远点开集的定义，一句话就定义完了。但是其意义要慢慢展开
，因为
包含的
... 阅读全帖 |
|
s***h
发帖数: 487 | 28 根据智人先进的 axiom set theory 的精神，你首先要显示定义你文字中的 “绝
对”
和 “相对” 两个词，以及 “正义” 和 “不义”
两个词。否则就是默认公理而不自知，马克思 naive set theory 理论的最大失误。
诚然，显示定义 axioms 并不解决所有问题，也不需要过犹不及，但 ZFC axiom set
theory 很大程度上解决了现代数学的 foundation crisis。
: 生产力是绝对的
: 如果你认为剩余价值存在而且是不义的--但只要是必要为了生产力的发展
，（剩
余价值
: 、剥削）就是合理 正义的
: 当然，如果你认为分配、生产关系才是绝对的，那当然就不义的 |
|
b***n
发帖数: 13455 | 29 Voted-by-Mail (Returned)
Rep: 19,006 (+28 from 10/29)
DEM: 16,857 (+17 from 10/29)
Other (Independents): 8,620 (+22 from 10/29)
Total Returned: 44,483 (+67 from 10/29)
#Trump(Rep): 42.7% (same from 10/29)
#HRC(Dem): 37.9% (same from 10/29)
Other (Independents): 19.4% (same from 10/29)
Early Voting (Only)
Rep: 120,304 (+936 from 10/29)
DEM: 150,484 (+470 from 10/29)
Other (Independents): 66,272 (+356 from 10/29)
Total Voted: 337,059 (+1,762 from 10/29)
#Trump(Rep): 35.7% (+0.1% from 10/29)
#HRC(D... 阅读全帖 |
|
b***n
发帖数: 13455 | 30 Voted-by-Mail (Returned)
Rep: 19,006 (+28 from 10/29)
DEM: 16,857 (+17 from 10/29)
Other (Independents): 8,620 (+22 from 10/29)
Total Returned: 44,483 (+67 from 10/29)
#Trump(Rep): 42.7% (same from 10/29)
#HRC(Dem): 37.9% (same from 10/29)
Other (Independents): 19.4% (same from 10/29)
Early Voting (Only)
Rep: 120,304 (+936 from 10/29)
DEM: 150,484 (+470 from 10/29)
Other (Independents): 66,272 (+356 from 10/29)
Total Voted: 337,059 (+1,762 from 10/29)
#Trump(Rep): 35.7% (+0.1% from 10/29)
#HRC(D... 阅读全帖 |
|
b***n
发帖数: 13455 | 31 Latest Nevada Early Mail Voting as well as Early Voting (which started on 10
/22) of 11/4
2,346 (+185 from 11/3) more registered Republicans have returned an Early
Mail-in-Ballot as of 11/3 (+3.6% Lead same from 3.6% on 11/3 (0.0%})
Voted-by-Mail (Returned)
Rep: 26,992 (+1,320 from 11/3)
DEM: 24,646 (+1,135 from 11/3)
Other (Independents): 12,754 (+757 from 11/3)
Total Returned: 64,392 (+3,212 from 11/3)
#Trump(Rep): 41.9% (-0.1% from 11/3)
#HRC(Dem): 38.3% (-0.1% from 11/3)
Other (Independents)... 阅读全帖 |
|
t*******r
发帖数: 22634 | 32 New Math 的主要目的不是为了建立新数学体系，而是因为 Traditional
Math 的数学体系里到处是逻辑漏洞，就好象一个 Swiss Cheese。而 New
Math 的最最重要的目的，是填上 Traditional Math 里面的那些漏洞，
而不是马上去建立不同的体系。
比如说到自然数方面，一说 New Math 就立马说到二进制。。。你丫二进制
跟十进制就啥区别？如果没有基于娃版 axiom of infinity 的自然数概念，
没有娃版符号化的 positional notation system 的概念，没有乘法分配率
环的概念，没有娃版 unique prime factorization ring 的概念，不管
是引入二进制还是两万进制，其实仍旧是 Traditional Math，换汤不换药
的 Traditional Math，因为根本就没有补上 Traditional Math 里的漏洞，
也不能严谨的扩展数系统，不过就是多 take for granted 另一个东东（这里
是二进制）。
比如说到欧氏几何，一说 New Math 就立马说非欧几何... 阅读全帖 |
|
t******l
发帖数: 10908 | 33 如果不相信这个 the curse of "phonological abstract thinking" is "loss
contact of the real"，那让我们从上面题目解法里面的 power set 开始，往 unreal
一路向西不回头：
power set 跟 axiom of choice 有直接关系。
[quote]
Another equivalent axiom only considers collections X that are essentially
powersets of other sets:
For any set A, the power set of A (with the empty set removed) has a choice
function.
http://en.wikipedia.org/wiki/Axiom_of_choice
[/quote]
然后 axiom of choice 直接导致 Costco 大西瓜 Banach-Tarski paradox。。。于是
从此就一路向西再也区分不了 real vs unr... 阅读全帖 |
|
x***x
发帖数: 3401 | 34 while an axiom can not be proved, it does NOT follow that everything that can
not be proved is an axiom.
I claim "I am god". Not body can prove that I am god. Does it follow that it
is an axiom that I am god? |
|
n********n
发帖数: 8336 | 35 The existence of God using logical absolutes
This is an attempt to demonstrate the existence of God using logical
absolutes. The oversimplified argument, which is expanded in outline form
below, goes as follows: Logical absolutes exist. Logical absolutes are
conceptual by nature--are not dependent on space, time, physical properties,
or human nature. They are not the product of the physical universe (space,
time, matter) because if the physical universe were to disappear, logical
absolutes w... 阅读全帖 |
|
t**k
发帖数: 260 | 36 "Logic is above all. It is neither induction nor deduction."
Logic is about deduction.
"Axioms come from induction"
Axioms don't have to come from induction. Say, logical axioms.
"Science = induction"
That is over simplification. For example, one important principle in science
is the Occam razor. I wouldn't say it's from either induction or deduction.
Btw, I prefer to think of science as a probabilistic system, instead of a
classic logic system.
But
,
all |
|
L******9
发帖数: 78 | 37 For my point of view it is not as important as reported in China. First,
understant what reverse math does
=================================================
In reverse mathematics, one starts with a framework language and a base
theory—a core axiom system—that is too weak to prove most of the theorems
one might be interested in, but still powerful enough to develop the
definitions necessary to state these theorems. For example, to study the
theorem “Every bounded sequence of real numbers has a s... 阅读全帖 |
|
u**x
发帖数: 45 | 38 This is just like the Fifth Axiom in Euclid Geometry. You can go with
it, you can also go with the counter-statement of it.
Godel first showed that both the Axiom of Choice and the continuum hypothesis
are consistent with the standard mathematics*, but late on others showed
that the ~(Continuum hypothesis) is also consistent with standard mathematics.
This means its "independence".
The standard mathematics is the reference point here, which is the standard
set theory + logic(first order).
Axiom |
|
G**********n
发帖数: 973 | 39 Part A
1． ULAN VWL AXIOMS SYSTEM
2． “亚洲最西化的国家”
3． 小国传说
4． 倒霉的投资商
5． 几种不同数额不同效果的援助方式
6． 30亿美元究竟能够干什么？
7． 对宏观经济学若干问题的疑问和反思
8． Stagflation问题真的就很难被对付吗？
9． 民族主义与宏观经济学
10． 计算机科学与宏观经济学
11． 发展中国家的难题
12． 工业化国家的难题
13． 突破极限
14． ULAN VWL AXIOMS SYSTEM的来源以及我抵制什么样的自由贸易和民主制度
Part B
15． 北朝鲜的问题
16． 莫斯科的故事
17． 哈比比先生的梦想与现实
18． 悲惨的阿根廷
19． 再看智利
20． 换一个角度来看美国国债
21． 来自德国的教训
22． 北京的未来
23． 对历史的简短回顾与再谈如果
24． 对各个国家，国际组织和大型公司以及著 |
|
w*******g
发帖数: 9932 | 40 ☆─────────────────────────────────────☆
GeorgeCobain (铁丝钢琴手) 于 (Sat Jan 17 22:16:06 2009) 提到:
Part A
1． ULAN VWL AXIOMS SYSTEM
2． “亚洲最西化的国家”
3． 小国传说
4． 倒霉的投资商
5． 几种不同数额不同效果的援助方式
6． 30亿美元究竟能够干什么？
7． 对宏观经济学若干问题的疑问和反思
8． Stagflation问题真的就很难被对付吗？
9． 民族主义与宏观经济学
10． 计算机科学与宏观经济学
11． 发展中国家的难题
12． 工业化国家的难题
13． 突破极限
14． ULAN VWL AXIOMS SYSTEM的来源以及我抵制什么样的自由贸易和民主制度
Part B
15． 北朝鲜的问题
16． 莫斯科的故事
17． 哈比比先生的梦想与现实
18． 悲惨的阿根廷
19． 再看智利 |
|
l***i
发帖数: 956 | 41 也就是这些axioms可以都划归为一个axiom系统？ |
|
d*********o
发帖数: 6388 | 42 http://blogs.wsj.com/indiarealtime/2015/01/29/indian-team-plans
This moon rover, developed by India’s Axiom Research Labs, is called Ek
Choti Si Asha (Hindi for a one small hope).
After winning a million-dollar prize from Googlethis week, a team of Indian
engineers — some young, some retired from the Indian space program — are
now a step closer to their goal of becoming the world’s first private-
sector group to land on the moon.
Indian aerospace startup, Axiom Research Labs, was one of the winn... 阅读全帖 |
|
b***y
发帖数: 14281 | 43 So that's not the point. The point is not try to create a problem, but
the problem existed in the axiom system for the set theory back then.
At that time, it is allowed by the accepted axioms to write down a sentence
A={x|for all x not in x}
and consider it a legal sentence to define a set. The trouble is then
neither A \in A or A \notin A can be true. |
|
t******l
发帖数: 10908 | 44 你可以设计一套被认为绝对无二义的 propositional logics，前提是你不用来做任何
有意义的事情，或者说是不是悖论本身无所谓，只要符合公理就行。这是可以的。
但你无法用这套无二义系统来做实际的事情，而不出现悖论。。。你无法满足所有实际
认知中的守恒性。。
也就是 Piaget 水杯 conservation task 或者 invariant，是理论无法从
propositional logics 导出而没有任何悖论的。
: So that's not the point. The point is not to try to create a
problem,
but
: the problem existed in the axiom system for the set theory back
then.
: At that time, it is allowed by the accepted axioms to write down
a
sentence
: A={x|for all x not in x}
: and ... 阅读全帖 |
|
t******l
发帖数: 10908 | 45 the point 是时间本身不符合数学理论里的无二义性的公理定义的要求。。。时间之箭
是人类隐含认知的。。。神一般的理论纯数公理集合论，是不允许"隐含认知"这种世俗
的玩意儿的。
: So that's not the point. The point is not try to create a problem, but
: the problem existed in the axiom system for the set theory back then.
: At that time, it is allowed by the accepted axioms to write down a
sentence
: A={x|for all x not in x}
: and consider it a legal sentence to define a set. The trouble is then
: neither A \in A or A \notin A can be true.
|
|
T*******x
发帖数: 8565 | 46 你这是属于一般性的议论，axiom of choice可能使人类直觉无效。这是对的，但是具
体在这个一点紧致化的构造中，无穷远点的开集，在这个构造中，axiom of choice在
哪里会使构造无效？ |
|
m**********e
发帖数: 12525 | 47 给你们学数学的说说
哲学,是一切自然科学的基础
你们数学的出发点是axiom
但是自然科学不可以搞axiom
自然科学的出发点就是哲学假设
比如物理学是建立在哲学假设"一切可观察量都是实数"这个前提下的
没有这个哲学假设,整个物理学都得完蛋 |
|
s***h
发帖数: 487 | 48 马克思没有明确说体力是生产力，并不能说明这不是马克思的公理。恰恰相反，马克思
其自身都没有意识到其已经一直默认了该条公理。
一个类比就是，人类的公理集合论，很长时间都没有 axiom of choice 那条公理。但
并不是因为没有那条公理，而是因为没有意识到默认了 axiom of choice 那条公理，
以至于没有显示表述为一条公理。
当然这个类比对文科生可能有点困难。文科生先搞清楚欧几里德平行公理再说。不过叔
对此悲观，能化一辈子搞清楚平行公里的，不会成为文科生。
: ？？？
: 马克思什么时候说体力就是生产力了？
: 生产力一个很重要的就是智力，他什么时候排斥了？
: 理论素养太差，自己yy一个粗鄙的理论，然后说别人傻逼
: [在 synth (合成) 的大作中提到：]
: :马克思认为人类社会的瓶颈在于生产力不足，因为其时代局限，把生产力直接
跟工人
: 体力以及操作速度正相关。
: :实际上现代社会看到的是，人类社会的瓶颈在于各阶层平均智力。目前傻子很
难根治
: 。机械化加 AI 化，使得高智力... 阅读全帖 |
|
发帖数: 1 | 49 自己好好去学习，生产力一个重要的指标就是人类认识自然的智力程度
日，水平太烂，什么狗屁马公工种就推翻马克思，幼儿园水平都没有
[在 synth (合成) 的大作中提到：]
:马克思没有明确说体力是生产力，并不能说明这不是马克思的公理。恰恰相反，马克
思其自身都没有意识到其已经一直默认了该条公理。
:一个类比就是，人类的公理集合论，很长时间都没有 axiom of choice 那条公理。但
:并不是因为没有那条公理，而是因为没有意识到默认了 axiom of choice 那条公理，
:以至于没有显示表述为一条公理。
:当然这个类比对文科生可能有点困难。文科生先搞清楚欧几里德平行公理再说。不过
叔对此悲观，能化一辈子搞清楚平行公里的，不会成为文科生。
:<br>: ？？？
:<br>: 马克思什么时候说体力就是生产力了？
:<br>: 生产力一个很重要的就是智力，他什么时候排斥了？
:<br>: 理论素养太差，自己yy一个粗鄙的理论，然后说别人傻逼
:<br>: [在 synth (合成) 的大作中提到... 阅读全帖 |
|
g**u
发帖数: 583 | 50 Your AutoCheck Vehicle History Report
2002 Isuzu Axiom Base / XS
Report Run Date: 2010-04-21 11:03:06.360 EDT
VIN: 4S2DF58X224617284
Year: 2002
Make: Isuzu
Model: Axiom Base / XS
Style/Body: SUV 4D
Class: SUV - Lower Mid Range
Engine: 3.5L V6 SFI
Country of Assembly: United States
Vehicle Age: 8 year(s)
Calculated Owners: 2
Calculated Accidents: 0
Last Reported
Odometer Reading: 31,220
This vehicle's AutoCheck Score
Th |
|
