语文常识推翻百年“R完备、封闭”论
语文常识推翻百年“R完备、封闭”论
黄小宁
李四光:迷信权威等于扼杀智慧。语文常识表明从西方传进来的数学存在重大错误:将无穷多各异数轴误为同一轴。
复平面z各点z的对应点z+k的全体是z+k平面。z面平移变换为z+k(k是非1正实常数)面就使x轴⊂z面沿本身平移变换为u=x+k轴。R可几何化为R轴,R轴可沿本身平移变为R′轴,R′轴可沿本身平移变为R″轴,...。
设集A={x}表A各元均由x代表,{x}中变量x的变域是A。其余类推。
点集A ={0,1}(各数是点的坐标)中:点0移位变为点1的同时1变为1(即点1变回自己)就使A 失元变为{1,1},A 各元x都发生变化(点1原地不动是变回自己)后就使A 变为{1}了。可见 A失去元0的原因必可是:点0离开原位变为点1的同时原来的点1变回自己(点0移位与点1重合使A失去一元);此变换中原像:0与1的距离是1,像:1与1的距离是0≠1,所以A 变为{1}是不保距变换。注:这里的点x可用点(x,y)或点(x,y,z)替换。这说明点集W变为非空V⊂W的原因必可是:W有部分元移动与别的元重合的同时其余元都不动使W失去部分元,而此变换一定是不保距变换——说明有
h定理1:无穷点集W变为非空V⊂W一定是不保距变换,所以W作刚体(保距)运动绝不能变为V⊂W。
“无界”的x轴沿本身平移非0距离不能成为x轴的一部分。
h定理2:数集(一维空间中点集)A保序变为B=A只能是恒等变换。
证:A各数在集内分别都有一定的大小“名次、地位”,例在A={0,1,2}中:2是第一大的数,1是第二大数,0是第三大数;A各元x保序变为3x组成元为3x的{0,3,6}也有第一大、第二大、第三大的元。大小互不同的狗组成集A和B,a(b)是A(B)中第n大的狗,显然若A=B则a和b必是同一狗。任一A={x}各数x保序变为y=y(x)(y是增函数)组成B={y(x)},x∈A在A中的大小“地位”与y(x)∈B在B中的大小地位是一样的(保序变换是保地位变换),显然若A=B则x与y(x)必是同一数即y(x)≡x。所以A保序变为B=A只能是恒等变换。证毕。
h定理2是否成立的问题是光身皇帝是否光身的问题。科学是一门老老实实的学问,不能自欺欺人啊!
如草图所示R轴即x轴各元点x沿x轴正向非恒等变换地保序且保距平移变为点y=x+0.001就使x轴沿本身平移变为y=x+0.001轴≌x轴,据h定理2x轴≠y轴(直线公理使中学几百年解析几何一直误以为x轴=y轴),据h定理1≌x轴的y轴不是x轴的任何真子集。y轴≠x轴且不是x轴的任何真子集说明y=x+0.001轴不能被x轴包含而必有元点y=t不能也∈x轴,这t(设此t表示数学前所未知的“特异”数)显然是“更无理”的R外标准数从而使y轴是似是而非的假x轴。这推翻了百年“R完备、封闭”论。
“一一对应”中的“一”的含义之一:一个不漏。在未识0与负数时人们通过“对一切正数x都有对应x-1<x”获知有数x-1<一切正数x,同样“对数集R(N)一个不漏的每一(一切)元x都有保距对应数y=x+1>x即对R(N)一切元x都有数y比x大”明确表示有数y=t>R(N)一切数x而在R(N)外。关键是连文盲都知“一个不漏”的确切含义。所以语文常识表明R(N)有“更无理”的太大元x大到使其对应数x+1>x“更无理”地突出在R(N)外。
人类由发现无理数到发现“更无理数”竟须历时2500多年,发现的异常艰难性由此可见一斑。语文常识使人发现更无理数说明中国古人的“大道至简至易”是至理名言。
相关文章:
语文常识推翻百年“R完备、封闭”论
语文常识推翻百年“R完备、封闭”论 黄小宁 李四光:迷信权威等于扼杀智慧。语文常识表明从西方传进来的数学存在重大错误:将无穷多各异数轴误为同一轴。 复平面z各点z的对应点zk的全体是zk平面。z面平移变换为zk(k是非1正实常数…...
解决backtrader框架下日志ValueError: I/O operation on closed file.报错(jupyternotebook)
解决办法: 禁用 IPython 内核的日志重定向 在 IPython 环境下,内核可能会对日志进行重定向,从而引发问题。你可以尝试在运行代码之前禁用 IPython 的日志重定向: import logging# 禁用IPython内核的日志重定向 logging.getLogg…...
基于Docker容器部署DeepSeek-R1-Distill-Qwen-7B
首先打开魔搭社区,然后搜索DeepSeek-R1-Distill-Qwen-7B,进入详情页 官方推荐使用vllm来启动,但是手动搭建vllm环境容易出各种问题,我们这里直接找一个vllm的Docker镜像 一、拉取镜像 docker pull vllm/vllm-openai 如果拉取不…...
UART双向通信实现(序列机)
前言 UART(通用异步收发传输器)是一种串行通信协议,用于在电子设备之间进行数据传输。RS232是UART协议的一种常见实现标准,广泛应用于计算机和外围设备之间的通信。它定义了串行数据的传输格式和电气特性,以确…...
CentOS 7 全流程部署Magic-PDF数据清洗工具(附GPU加速方案)
CentOS 7 全流程部署Magic-PDF数据清洗工具(附GPU加速方案) 一、环境准备与方案选型 1.1 硬件要求 配置项最低要求推荐配置CPU4核8核内存8GB16GB存储50GBSSD/NVMeGPU可选NVIDIA T4 1.2 系统环境检查 # 查看系统版本 cat /etc/redhat-release# 检查G…...
2.1 路径问题专题:LeetCode 62. 不同路径
动态规划解决LeetCode 62题:不同路径问题 1. 题目链接 LeetCode 62. 不同路径 2. 题目描述 一个机器人位于一个 m x n 网格的左上角(起点标记为“Start”)。机器人每次只能向右或向下移动一步。机器人试图达到网格的右下角(标…...
“*(单星号)”和“**(双星号)”在Python中的灵活运用
在Python中,*和**是两个重要的运算符,它们具有不同的用途。 一、*(单星号) 1、*(单星号)作为乘法运算符 2、*(单星号) 用于解包序列或可迭代对象 用于解包序列或可迭代对象&…...
LabVIEW多线程
在 LabVIEW 中,多线程编程是提升程序执行效率的关键手段,尤其是在需要并行处理数据采集、控制执行和用户界面交互的场景下。LabVIEW 本身是基于数据流(Dataflow)的编程语言,天然支持多线程,但要高效利用多线…...
ctfshow _萌新 萌新_密码篇
萌新_密码1 先对密文进行 Hex 解码,得到了 S1lkZjBhM2ViZDVjNGRjMTYwLUV7ZmI2M2VlMDI5OGI4ZjRkOH0 再进行 base64 解码,得到了 KYdf0a3ebd5c4dc160-E{fb63ee0298b8f4d8} 再进行栅栏解码,得到了 flag KEY{dffb06a33eeeb0d259c84bd8cf146d08…...
Transformer架构详解:从Encoder到Decoder的完整旅程
引言:从Self-Attention到完整架构 在上一篇文章中,我们深入剖析了Self-Attention机制的核心原理。然而,Transformer的魅力远不止于此——其Encoder-Decoder架构通过巧妙的模块化设计,实现了从机器翻译到文本生成的广泛能力。本文…...
蓝桥杯2024省赛PythonB组——日期问题
题目链接: https://www.lanqiao.cn/problems/103/learning/?page1&first_category_id1&name%E6%97%A5%E6%9C%9F%E9%97%AE%E9%A2%98 题目内容: 解题思路 import os import sys# 请在此输入您的代码 from datetime import datetime date_str input().str…...
带头结点 的单链表插入方法(头插法与尾插法)
带头结点的单链表插入方法(头插法与尾插法) 在单链表的操作中,插入是最常见的操作之一,本文介绍 带头结点的单链表 如何实现 后插法 和 前插法(包括 插入法 和 后插数据交换法),并提供完整的 C …...
Opencv之dilib库:表情识别
一、简介 在计算机视觉领域,表情识别是一个既有趣又具有挑战性的任务。它在人机交互、情感分析、安防监控等众多领域都有着广泛的应用前景。本文将详细介绍如何使用 Python 中的 OpenCV 库和 Dlib 库来实现一个简单的实时表情识别系统。 二、实现原理 表情识别系统…...
基于web的生产过程执行管理系统(源码+lw+部署文档+讲解),源码可白嫖!
摘要 随着世界经济信息化、全球化的到来和电子商务的飞速发展,推动了很多行业的改革。若想达到安全,快捷的目的,就需要拥有信息化的组织和管理模式,建立一套合理、畅通、高效的线上管理系统。当前的生产过程执行管理存在管理效率…...
C++:继承+菱形虚拟继承的一箭双雕
目录 一、继承概念与定义 1.1、什么是继承? 1.2、继承定义 二、继承关系与访问限定符 2.1、继承方式 三、基类与派生类对象的赋值转换 3.1、向上转型 3.2、对象切片 四、继承中的作用域 4.1、隐藏 五、派生类中的成员函数 5.1、构造与析构 六、继承与友…...
网络:华为数通HCIA学习:静态路由基础
文章目录 前言静态路由基础静态路由应用场景 静态路由配置静态路由在串行网络的配置静态路由在以太网中的配置 负载分担配置验证 路由备份(浮动静态路由)配置验证 缺省路由配置验证 总结 华为HCIA 基础实验-静态路由 & eNSP静态路由 基础…...
CFResNet鸟类识别:原网络基础上改进算法
本文为为🔗365天深度学习训练营内部文章 原作者:K同学啊 先放一张ResNet50模型的鸟类识别结果图 一 ResNetSE-NetBN import matplotlib.pyplot as plt import tensorflow as tf import warnings as w w.filterwarnings(ignore) # 支持中文 plt.rcP…...
C++ | 文件读写(ofstream/ifstream/fstream)
一、C文件操作核心类 C标准库通过<fstream>提供了强大的文件操作支持,主要包含三个关键类: 类名描述典型用途ofstream输出文件流(Output File Stream)文件写入操作ifstream输入文件流(Input File Stream&#…...
11_常用函数
文章目录 一、概述二、字符函数2.1、获取字符串所占字节数2.2、获取字符个数2.3、拼接字符串2.4、大小写转换2.5、获取子串2.6、获取子串第一次出现的索引2.7、去除字符串前后子字符串2.7.1、去掉左侧空格2.7.2、去掉右侧空格 2.8、左右填充2.9、字符串替换 三、数学函数3.1、四…...
Android穿山甲banner广告穿插到项目的banner中
Android穿山甲banner广告穿插到项目的banner中 项目中的banner需要用第三库的banner,目前是在下面的banner库测试可以 implementation io.github.youth5201314:banner:2.2.2用自己写的banner会显示不了穿山甲banner的,我也不知道为什么。 给下banner加…...
Ubuntu 20.04 出现问号图标且无法联网 修复
在 Ubuntu 中遇到网络连接问题(如出现问号图标且无法联网),可以通过以下命令尝试重启网络服务: 1. 推荐先修改DNS 编辑 -> 虚拟机网络编辑器-> VMnet8 ->NAT 设置 -> DNS 设置 -> 设置DNS 服务器 DNS填什么 取决…...
基于Contiue来阅读open-r1中的GRPO训练代码
原创 快乐王子HP 快乐王子AI说 2025年04月03日 23:54 广东 前面安装了vscode[1]同时也安装了Coninue的相关插件[2],现在想用它们来阅读一下open-r1项目的代码[3]。 首先,从启动训练开始(以GRPO为例子) 第一步,使用TRL的vLLM后端…...
51c嵌入式~单片机~合集7~※
我自己的原文哦~ https://blog.51cto.com/whaosoft/13692314 一、芯片工作的心脏--晶振 在振荡器中采用一个特殊的元件——石英晶体,它可以产生频率高度稳定的交流信号,这种采用石英晶体的振荡器称为晶体振荡器,简称晶振。 制作方法 …...
GRPO训练下的参考模型选择
一、普通全量微调模型 核心机制:模型克隆 深拷贝创建 通过create_reference_model(model)对当前模型进行完全复制(包括所有层和参数)。示例代码:import copy def create_reference_model(model):ref_model copy.deepcopy(model)…...
英菲克(INPHIC)A9无线蓝牙鼠标 链接电脑的方式
英菲克(INPHIC)A9鼠标链接至电脑时,要长按住“模式切换MODE”按钮5秒左右的时间,此时模式指示灯变成蓝色,并且闪烁。 这时使用电脑的蓝牙设置中,“添加设备”,会出现BT4.0 Mouse提示࿰…...
lua表table和JSON字符串互转
--print("local ssxc{\n"..string.gsub(str,":","").."\n}") Utils {} ---------------------------------------------------------------------------------- -- Lua-Table 与 string 转换 local function value2string(value, isA…...
linux命令-find指令
1.文件名和路径 参数 说明 示例 -name pattern 按文件名匹配(区分大小写) -iname pattern 按文件名匹配(忽略大小写) -path pattern 按路径匹配 -ipath pattern 按路径匹配(忽略大小写) find . -name &…...
【每日一个知识点】分布式数据湖与实时计算
在现代数据架构中,分布式数据湖(Distributed Data Lake) 结合 实时计算(Real-time Computing) 已成为大数据处理的核心模式。数据湖用于存储海量的结构化和非结构化数据,而实时计算则确保数据能够被迅速处理…...
【3.软件工程】3.5 V开发模型
V模型深度解析:测试驱动的软件开发框架 ⚙️ 一、V模型全景流程图 #mermaid-svg-IoovYFLLXyzJAePg {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-IoovYFLLXyzJAePg .error-icon{fill:#552222;}#mermai…...
生成对抗网络(GAN)详解(代码实现)
GANs 的基本概念 This framework can yield specific training algorithms for many kinds of model and optimization algorithm. In this article, we explore the special case when the generative model generates samples by passing random noise through a multilayer …...
