哥德尔：无穷小微积分是未来的数学分析
哥德尔：无穷小微积分是未来的数学分析1998年,新西兰国家数学会主席Robert Goldblatt为世界研究生编写了一本教材（Graduate Text inMathematics 188），名为“Lecture on Hyperreals”，副标题为“Introduction toNon-standard Analysis”，在该讲义的前言中，引用的第一句话就是本文的标题。反观我们国内，按照国...
公告：为无穷小微积分寻找中国传人
公告：为无穷小微积分寻找中国传人事实已经证明，目前国内无穷小微积分倡导者只有北大袁萌一人。现在，袁萌需要寻找一位志愿接班人。志愿接班人的“回报”是：可以自称“鲁宾逊无穷小”的中国传人，同时，袁萌发文对此予以认可。对此若有兴趣者，可在此文评论留言中说说明具体联系方式。 一言为定！袁萌 5月18日...
否定无穷小微积分就是否定微积分本身 为什么？短视也！
否定无穷小微积分就是否定微积分本身 为什么？短视也！近年来，国外关于“无穷小”的研究是个“热点”，反观国内，菲氏微积分的徒子徒孙对此却“不感兴趣”，可悲也。If, as KurtGoedel（哥德尔） said, Robinson's theory isthe analysis of the future, then it should be called standard analysis (...
无穷小微积分研究方向，培养不出博士后？
无穷小微积分研究方向，培养不出博士后？年轻大学生选择“无穷小微积分”研究方向担心成不了博士生，非也。老翁在“否定无穷小微积分就是否定微积分本身”一文中列出了40多篇最新研究论文，例如：Minimal axiomaticframeworks for definable hyperreals with transfer，足够博士学位研究水平。数理逻辑模型论，不是“小儿科”。 ...
纪念鲁宾逊诞辰100周年
纪念鲁宾逊诞辰100周年今年是美国数学家鲁宾逊（Abrananm Robinson，18-1974，享年56岁）诞辰100周年。当前，我们纪念鲁宾逊的诞辰具有特别的现实意义，因为，中国数学发展正处在一个“转折期”，从传统数学（特别是传统法微积分）转向现代形式公理化数学的大方向。中国处于世界全球化发展的潮流之中。上世纪70年代，鲁宾逊创建了现代无穷小分析（即微积分），叫板菲氏微积分。中国国内的在聘数...
鲁宾逊的数学功绩何在？
鲁宾逊的数学功绩何在？实际情况是，鲁宾逊的主要贡献是创立了数理逻辑模型论的基本概念，把数学模型论应用到许多实际领域之中，不限于无穷小分析。其实，模型论就是形式逻辑与抽象代数的结合。国内许多数学教员缺少形式逻辑素养，因而惧怕模型论，拒绝无穷小微积分。 这是鲁宾逊啦啦队首先要明确的。袁萌 5月19日 ...
python time模块和datetime模块
一、time模块 time模块中时间表现的格式主要有三种： a、timestamp时间戳，时间戳表示的是从1970年1月1日00:00:00开始按秒计算的偏移量 b、struct_time时间元组，共有九个元素组。 c、format time 格式化时间，已格式化的结构使时间更具可读性。包括自定义格式和固定格式。 1、时间格式转换图： #! /usr/bin/env python
# -*- coding:utf-8 -*-
# __author__ = "TKQ"
im
python的变量 以及操作系统
变量 ： （变量真没有什么好说的） 变： 就是会变化的 量：衡量现实的事物标准 python 中引用 变量值的作用 操作系统:就计算机控制硬件的软件，定义各个硬件的接口给应用软件调用 应用软件：在操作系统之上，利用互联网达到某个功能给用户使用 常量：python没有常量之分。规定要字母要大写
java web多组件协作实现用户登录验证
实现步骤： 1、创建用户登录提交界面 2、创建处理用户登录请求servlet组件Main 3、创建代表登录成功响应的servlet的组件LoginSuccess 4、创建代表登录失败响应的servlet组件LoginFail 【1代码login.html】 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<me
软件架构模式-分层架构II
参考：http://www.ruanyifeng.com/blog/2016/09/software-architecture.html https://blog.csdn.net/bboyfeiyu/article/details/45136299 https://www.cnblogs.com/zdxster/p/5305155.html 1. 什么是分层架构 分层架构是一种很常见的架构模式，它也叫N层架构。这种架构是大多数Jave EE应用的实际标准，因此很多的架构师，设计师
vue中,class与style绑定
<template> <div> <p v-bind:class="{active:isActive,'demo':Demo}">嘿嘿</p> <p v-bind:class="styleObj">哈哈</p> <p v-bind:class="styleObj2">咯吱咯吱</p> <p v-bind:class="[active1]">呵呵</p> <p v-bind:class="[{active:isActive},'info-'+id]">呵呵2</p> <div> <ul> <li
vscode调试pomelo和pomelo使用vscode调试
使用vscode 通过端口remote attach进行调试 pomelo. 0. 网上好多调试pomelo的都是webstorm.或者vscode调试node的教程.但没找到vscode调试pomelo的. 1. node 环境 node 使用版本
v8.11.1
node 查看 调试参数 ==> node -h 找出调试相关 参数,如果你在阅读本文后调试不成功,看看是不是调试的参数不对
node inspect script.js [arguments]
Codeforces757D Felicity's Big Secret Revealed
真·失踪人口回归。 我来证明我没有退役。 Description 给定一个长度为 \(n(n\le 75)\) 的 \(01\) 串。将 \(01\) 串用 \(m\) 条竖线划分为 \(m + 1\) 个部分，将两条竖线之间的 \(01\) 串转为十进制数。若这些数的最大值为 \(MAX\) 且取值范围为 \([1,MAX]\) 且包括了 \([1,MAX]\) 中的所有数，则为一次有效的 \(m\) 切割。定义 \(m\) 切割的方案数为 \(f(m)\) 。求 \[\sum_{k=2}^
Python Web开发 - WSGI & uWSGI协议
WSGI协议 首先弄清下面几个概念： WSGI：全称是Web Server Gateway Interface，WSGI不是服务器，python模块，框架，API或者任何软件，只是一种规范，描述web server如何与web application通信的规范。server和application的规范在PEP 3333中有具体描述。要实现WSGI协议，必须同时实现web server和web application，当前运行在WSGI协议之上的web框架有Bottle, Flask, Dja
今日推荐
周排行