马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人 - 生物医学 - 科技动向

马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人

2018/1/30 7:06:49 ｜浏览：3033 ｜评论：1

马克斯·普朗克智能系统研究所发明可在体内巡测病源的迷你型机器人

德国马克斯·普朗克智能系统研究所的研究人员发明一种微型“极简机器人（minimalist robot）”，它们看上去像是一只毛毛虫，能够完成各种类型的运动，其中包括：跳跃、在隧道中爬行，从池塘中爬出。同时，它可用于送递药物，抵达人体内特殊区域。

　　研究人员表示，这种新型、体积较小的“极简机器人”可以完成一系列动作，未来有一天能够从身体内部“巡逻”，查找病患源头。

　　这款像毛毛虫的机器人不仅可以行走，还能够攀爬、跳跃，甚至游动，当它从池塘中爬出时，能够无缝地从潮湿环境过渡至干燥环境。

　　这种毫米等级的易曲折机器人体积接近米粒大小，其设计灵感来自于身体柔软的甲虫幼体和毛毛虫。该款机器人也具有水母的一些特征。

德国马克斯.普朗克智能系统研究所的研究人员表示，一种新型、体积较小的“极简机器人”可以完成一系列动作，未来有一天能够从身体内部“巡逻”，查找病患源头。

　　但是如果没有任何肢体，这个弹性机器人如何能完成复杂的运动呢？德国研究人员使用外部磁场对机器人身体内的磁粒施加作用力，从而改变它的外形。工程师表示，这是一种变形，可使机器人跳跃障碍，在隧道中爬行等。

　　一旦极简机器人准备好进入人体，并送递药物至医生治疗过程中很难抵达的区域。为了做到这一点，这种微型机器人可以选择一个物体，移动它，并释放它。

　　研究报告作者、物理情报部主管梅廷·斯蒂（Metin Sitti）在新闻发布会上称，未来我们的机器人可以携带药物，并将药物送递至人们最需要的位置，就像一次上门送货服务。我们可以使用机器人在人体内进行微创性手术：微型机器人通过吞咽或者在皮肤伤口处进入人体，使它穿过人体消化系统、尿道、腹腔或者心脏表面。

　　迄今为止，这个机器人毛毛虫只在人造胃模型和鸡肠道组织中测试过。但是未来有一天，研究人员希望它能成为医疗保健的一个标准工具

相关栏目：『生物医学』

近30年来，这5个癌症增长最明显！抓住癌症早期的5个信号	2024-11-06	[346]
新证据：长期喝酒增加结直肠癌风险！尤其是年轻人，不要不听劝！	2024-11-06	[324]
大选之际，华人女子非法入境美国被查出超高致死率传染病，民主党又添一债！	2024-11-04	[374]
严欢/石正丽团队首次提出人工设计病毒受体	2024-11-03	[411]
肥胖促癌的原因找到了！《科学》子刊：这种“酸”让肿瘤长得更快	2024-10-31	[480]
促氧化剂抗癌实锤了！科学家首次发现，维生素K3以独特的方式杀死癌细胞丨科学大发现	2024-10-31	[484]
哈佛博士生疯狂实验：一个月狂吃720个鸡蛋身体会怎样？结果大意外…	2024-10-31	[519]
几点睡觉算是熬夜？13万人研究提醒：不是11点，也不是12点，很多人搞错了	2024-10-31	[504]
免疫系统中的microRNA调控：历史与展望	2024-10-31	[303]
科学家借人类干细胞助猴子重见光明	2024-10-27	[602]

最新图文：

Colleen Flaherty 翻译刘勤：MIT教授发文《美国经济评论》：生命科学受益于明星科学家们的死亡

更多《即时通讯》＞＞

游客	留言于2018-02-05 07:36:45（第1条）

数论命题研究决定人工智能的发展
王晓明

我们在前面的文章介绍了许许多多的数学问题、特别在数论命题的证明中产生的逻辑错误，它们之中有论据错误，证明方法错误，但是最根本的还是命题中的错误。

为什么黎曼猜想无法证明？为什么费马大定理证明了全世界数学家都是白痴？为什么哥德巴赫猜想是一个初等数论问题？为什么孪生素数猜想是一个初等数论问题？.....

数论命题是数学中最简洁的命题，如果数论命题都没有搞清楚，人工智能只能在简单学习和模仿中爬行。人工智能就不可能完成创新工作（我们说的创新是指人类没有完成的工作，计算机下棋依然是模仿）。

重大数论命题结构分析

所有的数论命题，无论主项还是谓项，都有：

一，按照属性还是实体划分

1，属性概念。
2，实体概念。
3，属性包含实体。
4，实体包含属性。

需要说明的是，如果主项和谓项都不是属性概念，仅仅是实体概念，那就是恒等式，例如二项式“定理”，其实不是定理，只是恒等式。因为没有属性不能算定理。

因为一个定理就是一个全称判断。一个全称判断的主项必须是普遍概念或者单独概念。一个普遍概念的定义就是依据这个词项的属性确定的。

就是说，一个定理应该是：
1，一种具有某种属性的事物有多少（例如素数有多少，高斯类数有多少）。
2，一种事物是否具有某种属性（圆周率是一个超越数，e是超越数）。

二，主项按照外延划分

1，普遍概念。
2，单独概念。
3，集合概念。

三，几个重要命题

（一），哥德巴赫猜想
命题：大于4的偶数都是两个素数之和。
主项：偶数，外延性质是按照内涵定义的。属于普遍概念，是一个合理命题。
谓项：两个素数之和，素数是属性概念，“两个素数之和”，是实体概念。
谓项是实体概念包含属性概念。
命题合理。

（二），孪生素数猜想
命题：孪生素数（相差2的素数对）有无穷多个。
主项：孪生素数，外延性质是按照内涵定义的，是普遍概念，合理。同时，素数是属性，两个素数相差2，一起考虑，属于实体概念。
即实体概念包含了属性。
谓项：无穷多个，实体概念。
命题合理。

哥德巴赫猜想的谓项是“实体概念包含属性概念”；孪生素数猜想的主项是“实体概念包含属性概念”。

（三），费马大定理
Xⁿ+Yⁿ=Zⁿ
费马说n=3,4,5，....。没有整数解。
主项：是集合概念，n有无穷多个，不合理，只能对n一个一个证明。因为世界上所有的数学定理都是普遍概念或者单独概念。

谓项：没有整数解是指Z=√(Xⁿ+Yⁿ)不是有理数。是属性概念包含实体概念。
如果费马大定理正确，z不是整数，根号是属性概念，Xⁿ+Yⁿ之和如果不是一个整数的n次方根，z就是无理数，两个数的和又是实体概念。命题是属性概念包含实体概念。
如果不是将所有的n 一次性证明，而是对n=3, 4 ,5，....一个个证明，就是合理命题。
你看，n=2时我们叫做勾股定理。当然n = 3,4，5，。。。等等都是一个个定理，没有一个总定理。所以说费马当年说自己找的一个证明，纯属误会。

（四），黎曼猜想
黎曼猜想：
黎曼ζ函数，
ζ(s)=Σ1/K^ⁿ,n=α+βi，（Σ上端是∞，下端k=1）。
非平凡零点（在此情况下是指s不为-2、-4、-6，.....等点的值， s=x+yi）的实数部分α是1/2。
主项：无穷多个非平凡零点，是指这个方程的根，是一个问题的属性，也是一个集合概念，只能一个个验证。
谓项：位于直1/2+yi线（“临界线”）上。s = 1/2+βi，确立了黎曼公式的二次属性，依然是属性概念，还是一个二阶逻辑问题，是无法证明的，但是，可以逐一验证。

（五），费马素数猜想
命题：f(n)=2^2^ⁿ + 1
（其中n为非负整数）的素数有无穷多个。
主项：指这个形状的素数，属性概念包含实体概念，n可以无穷多，又是一个集合概念。无法一次性证明。只能逐一验证。
谓项：无穷多个。

（六）梅森素数
2^P-1的素数是否有无穷多个。
与费马素数一样，主项是属性概念包含实体概念，还是一个集合概念，因为素数p有无穷多个。谓项无穷多个是实体概念。

四，数论命题逻辑决定人工智能的未来

数论已经有2000多年，从来没有人进行过命题结构和属性的研究。所以，2000年以来的数论问题，几乎是盲目的。一些已经得到证明的内容，可能也是错误的。例如“卡塔兰猜想”。
机器证明不仅仅机器本身可能出问题，还有证明过程中的问题也无法验证，许许多多的论据是否正确也是不知道的。
对于一个不明确的问题，机器无法证明的。这是因为机器不能理解语言的内涵，只能对外延盲目搜索。
数学的上端是逻辑学，逻辑学的上端是语言学，机器无法突破学科链条，凌驾于人类。

打印本文章

您的名字：
电子邮件：
留言内容：
注意：	留言内容不要超过4000字，否则会被截断。
未审核：	是

｜关于我们｜联系我们｜申请加入｜后台管理｜设为主页｜加入收藏｜