User contributions for OfficialURL
A user with 48 edits. Account created on 6 September 2022.
13 September 2022
- 02:4302:43, 13 September 2022 diff hist +285 N Burali–Forti paradox Created page with "The '''Burali–Forti paradox''' refers to the theorem that there is no set containing all von Neumann ordinals. Essentially, if there were such a set, then it would itself be a von Neumann ordinal, contradicting well-foundedness (or more directly the axiom of regularity)."
- 02:3902:39, 13 September 2022 diff hist −1 Ordinal function No edit summary
- 02:3802:38, 13 September 2022 diff hist −11 Normal function No edit summary
- 02:3802:38, 13 September 2022 diff hist +34 Ordinal function No edit summary
- 01:4901:49, 13 September 2022 diff hist +729 N Ordinal function Created page with "An '''ordinal function''' refers to a function from ordinals to ordinals. More rarely, they refer to functions from an initial segment of the ordinals to another. Important examples include continuous functions and normal functions. Technically speaking and within ZFC, since ordinals don't form a set, one can't formally talk about functions \(f:\text{On}\to\text{On}\). However, replacing \(\text{On}\) with a large enough ordinal,..."
6 September 2022
- 06:0506:05, 6 September 2022 diff hist +13 0 No edit summary
- 06:0506:05, 6 September 2022 diff hist +688 N 0 Created page with "The number '''zero''', denoted 0, is the smallest natural number. It is the additive identity for natural numbers, meaning that \(a+0=a\) for any \(a\in\mathbb N\). It is also the multiplicative annihilator for natural numbers, meaning that \(a\cdot 0=0\) for any \(a\in\mathbb N\). It is the number immediately before 1. As with any other natural number, it may be identified with either an ordinal or cardinal. In both cases, it still satisfies the aforementio..."
- 05:4305:43, 6 September 2022 diff hist +162 Talk:List of functions No edit summary
- 05:3805:38, 6 September 2022 diff hist +350 N Talk:List of functions Created page with "The Cantor normal form isn't a function. It's rather a representation that can be assigned to any ordinal. – ~~~~"
- 03:4403:44, 6 September 2022 diff hist +20 N Finite cardinal Redirected page to Finite current Tag: New redirect
- 03:4403:44, 6 September 2022 diff hist +22 N Infinite cardinal Redirected page to Infinite current Tag: New redirect
- 03:4403:44, 6 September 2022 diff hist +20 N Finite ordinal Redirected page to Finite current Tag: New redirect
- 03:4403:44, 6 September 2022 diff hist +22 N Infinite ordinal Redirected page to Infinite current Tag: New redirect
- 03:4303:43, 6 September 2022 diff hist +20 N Finite set Redirected page to Finite current Tag: New redirect
- 03:4303:43, 6 September 2022 diff hist +22 N Infinite set Redirected page to Infinite current Tag: New redirect
- 03:4303:43, 6 September 2022 diff hist +9 Infinity Changed redirect target from Infinite to Infinite#Infinity current Tag: Redirect target changed
- 03:4203:42, 6 September 2022 diff hist +22 N Infinity Redirected page to Infinite Tag: New redirect
- 03:3603:36, 6 September 2022 diff hist +72 Infinite No edit summary
- 03:3503:35, 6 September 2022 diff hist +143 Infinite →Infinity
- 03:3203:32, 6 September 2022 diff hist +955 Infinite No edit summary
- 03:3103:31, 6 September 2022 diff hist 0 Finite No edit summary
- 03:2203:22, 6 September 2022 diff hist +236 Infinite more info
- 03:1603:16, 6 September 2022 diff hist +2,173 N Infinite Create article
- 02:5902:59, 6 September 2022 diff hist +46 Finite No edit summary
- 02:5702:57, 6 September 2022 diff hist +439 Finite Add more info
- 02:5202:52, 6 September 2022 diff hist +13 Finite No edit summary
- 02:5202:52, 6 September 2022 diff hist +1,316 N Finite Created page with "A set is said to be '''finite''' if its elements can be labeled with the numbers from \(1\) to \(n\), for some natural number \(n\). A set that isn't finite is said to be infinite. More precisely, a set \(S\) is finite when there exists \(n\in \mathbb N\) and a [https://en.wikipedia.org/wiki/Bijection bijective function] \(f:S\to\{<n\}\), where \(\{<n\}\) denotes the set of naturals less than \(n\). The unique natural for which this holds is called its cardina..."
- 02:5002:50, 6 September 2022 diff hist +25,335 N Module:Text Created page with "local Text = { serial = "2017-11-01", suite = "Text" } --[=[ Text utilities ]=] -- local globals local PatternCJK = false local PatternCombined = false local PatternLatin = false local PatternTerminated = false local QuoteLang = false local QuoteType = false local RangesLatin = false local SeekQuote = false local function factoryQuote() -- Create quote definitions QuoteLang = { af = "bd",..." current
- 02:5002:50, 6 September 2022 diff hist +1,030 N Template:Mathworld/doc Copied from https://polytope.miraheze.org/wiki/Template:Mathworld/doc current
- 02:4302:43, 6 September 2022 diff hist +273 N Template:Mathworld Copied from https://polytope.miraheze.org/w/index.php?title=Template:Mathworld current
- 02:3002:30, 6 September 2022 diff hist −42 Template:Wikipedia/doc No edit summary current
- 02:2602:26, 6 September 2022 diff hist +16,668 N Module:String Created page with "--[[ This module is intended to provide access to basic string functions. Most of the functions provided here can be invoked with named parameters, unnamed parameters, or a mixture. If named parameters are used, Mediawiki will automatically remove any leading or trailing whitespace from the parameter. Depending on the intended use, it may be advantageous to either preserve or remove such whitespace. Global options ignore_errors: If set to 'true' or 1, any error c..." current
- 02:2502:25, 6 September 2022 diff hist +135 N Template:Replace Created page with "{{{{{|safesubst:}}}#invoke:String|replace|source={{{1}}}|{{{2}}}|{{{3}}}|count={{{count|}}}}}<noinclude> {{documentation}} </noinclude>" current
- 02:2402:24, 6 September 2022 diff hist +6,141 N Module:Message box/configuration Created page with "-------------------------------------------------------------------------------- -- Message box configuration -- -- -- -- This module contains configuration data for Module:Message box. -- -------------------------------------------------------------------------------- return { ambox = { types = { speedy = { class = 'ambox-spee..." current
- 02:2402:24, 6 September 2022 diff hist +18,622 N Module:Documentation/config Created page with "---------------------------------------------------------------------------------------------------- -- -- Configuration for Module:Documentation -- -- Here you can set the values of the parameters and messages used in Module:Documentation to -- localise it to your wiki and your language. Unless specified otherwise, values given here -- should be string values. ---------------------------------------------------------------------------------..." current
- 02:2302:23, 6 September 2022 diff hist +745 N Module:Yesno Created page with "-- Function allowing for consistent treatment of boolean-like wikitext input. -- It works similarly to the template {{yesno}}. return function (val, default) -- If your wiki uses non-ascii characters for any of "yes", "no", etc., you -- should replace "val:lower()" with "mw.ustring.lower(val)" in the -- following line. val = type(val) == 'string' and val:lower() or val if val == nil then return nil elseif val == true or val == 'yes' or val == 'y' or val =..." current
- 02:2302:23, 6 September 2022 diff hist +307 N Module:No globals Created page with "local mt = getmetatable(_G) or {} function mt.__index (t, k) if k ~= 'arg' then error('Tried to read nil global ' .. tostring(k), 2) end return nil end function mt.__newindex(t, k, v) if k ~= 'arg' then error('Tried to write global ' .. tostring(k), 2) end rawset(t, k, v) end setmetatable(_G, mt)" current
- 02:2202:22, 6 September 2022 diff hist +17,776 N Module:Message box Created page with "-- This is a meta-module for producing message box templates, including -- {{mbox}}, {{ambox}}, {{imbox}}, {{tmbox}}, {{ombox}}, {{cmbox}} and {{fmbox}}. -- Load necessary modules. require('Module:No globals') local getArgs local yesno = require('Module:Yesno') -- Get a language object for formatDate and ucfirst. local lang = mw.language.getContentLanguage() -- Define constants local CONFIG_MODULE = 'Module:Message box/configuration' local DEMOSPACES = {talk = 'tmbox'..." current
- 02:2202:22, 6 September 2022 diff hist +10,054 N Module:Arguments Created page with "-- This module provides easy processing of arguments passed to Scribunto from -- #invoke. It is intended for use by other Lua modules, and should not be -- called from #invoke directly. local libraryUtil = require('libraryUtil') local checkType = libraryUtil.checkType local arguments = {} -- Generate four different tidyVal functions, so that we don't have to check the -- options every time we call it. local function tidyValDefault(key, val) if type(val) == 'string'..." current
- 02:2102:21, 6 September 2022 diff hist +36,778 N Module:Documentation Created page with "-- This module implements {{documentation}}. -- Get required modules. local getArgs = require('Module:Arguments').getArgs local messageBox = require('Module:Message box') -- Get the config table. local cfg = mw.loadData('Module:Documentation/config') local p = {} -- Often-used functions. local ugsub = mw.ustring.gsub ---------------------------------------------------------------------------- -- Helper functions -- -- These are defined as local functions, but are ma..." current
- 02:2102:21, 6 September 2022 diff hist +182 N Template:Documentation Created page with "{{#invoke:documentation|main|_content={{ {{#invoke:documentation|contentTitle}}}}}}<noinclude> <!-- Categories go on the /doc subpage, and interwikis go on Wikidata. --> </noinclude>" current
- 02:2002:20, 6 September 2022 diff hist +725 N Template:Wikipedia/doc Copied from https://polytope.miraheze.org/w/index.php?title=Template:Wikipedia/doc
- 02:1902:19, 6 September 2022 diff hist +216 N Template:Wikipedia Copied from https://polytope.miraheze.org/w/index.php?title=Template:Wikipedia current
- 02:1302:13, 6 September 2022 diff hist +110 N Fixed point create stub
- 02:1102:11, 6 September 2022 diff hist +71 Omega No edit summary
- 02:0902:09, 6 September 2022 diff hist +344 Omega Added properties
- 02:0102:01, 6 September 2022 diff hist 0 Omega No edit summary
- 01:5901:59, 6 September 2022 diff hist +154 Omega Added some more info