All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 02:43, 13 September 2022 OfficialURL talk contribs created page 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).")
- 01:49, 13 September 2022 OfficialURL talk contribs created page 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,...")
- 06:05, 6 September 2022 OfficialURL talk contribs created page 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:38, 6 September 2022 OfficialURL talk contribs created page 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:44, 6 September 2022 OfficialURL talk contribs created page Finite cardinal (Redirected page to Finite) Tag: New redirect
- 03:44, 6 September 2022 OfficialURL talk contribs created page Infinite cardinal (Redirected page to Infinite) Tag: New redirect
- 03:44, 6 September 2022 OfficialURL talk contribs created page Finite ordinal (Redirected page to Finite) Tag: New redirect
- 03:44, 6 September 2022 OfficialURL talk contribs created page Infinite ordinal (Redirected page to Infinite) Tag: New redirect
- 03:43, 6 September 2022 OfficialURL talk contribs created page Finite set (Redirected page to Finite) Tag: New redirect
- 03:43, 6 September 2022 OfficialURL talk contribs created page Infinite set (Redirected page to Infinite) Tag: New redirect
- 03:42, 6 September 2022 OfficialURL talk contribs created page Infinity (Redirected page to Infinite) Tag: New redirect
- 03:16, 6 September 2022 OfficialURL talk contribs created page Infinite (Create article)
- 02:52, 6 September 2022 OfficialURL talk contribs created page 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:50, 6 September 2022 OfficialURL talk contribs created page 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",...")
- 02:50, 6 September 2022 OfficialURL talk contribs created page Template:Mathworld/doc (Copied from https://polytope.miraheze.org/wiki/Template:Mathworld/doc)
- 02:43, 6 September 2022 OfficialURL talk contribs created page Template:Mathworld (Copied from https://polytope.miraheze.org/w/index.php?title=Template:Mathworld)
- 02:26, 6 September 2022 OfficialURL talk contribs created page 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...")
- 02:25, 6 September 2022 OfficialURL talk contribs created page Template:Replace (Created page with "{{{{{|safesubst:}}}#invoke:String|replace|source={{{1}}}|{{{2}}}|{{{3}}}|count={{{count|}}}}}<noinclude> {{documentation}} </noinclude>")
- 02:24, 6 September 2022 OfficialURL talk contribs created page 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...")
- 02:24, 6 September 2022 OfficialURL talk contribs created page 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. ---------------------------------------------------------------------------------...")
- 02:23, 6 September 2022 OfficialURL talk contribs created page 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 =...")
- 02:23, 6 September 2022 OfficialURL talk contribs created page 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)")
- 02:22, 6 September 2022 OfficialURL talk contribs created page 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'...")
- 02:22, 6 September 2022 OfficialURL talk contribs created page 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'...")
- 02:21, 6 September 2022 OfficialURL talk contribs created page 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...")
- 02:21, 6 September 2022 OfficialURL talk contribs created page 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>")
- 02:20, 6 September 2022 OfficialURL talk contribs created page Template:Wikipedia/doc (Copied from https://polytope.miraheze.org/w/index.php?title=Template:Wikipedia/doc)
- 02:19, 6 September 2022 OfficialURL talk contribs created page Template:Wikipedia (Copied from https://polytope.miraheze.org/w/index.php?title=Template:Wikipedia)
- 02:13, 6 September 2022 OfficialURL talk contribs created page Fixed point (create stub)
- 01:56, 6 September 2022 User account OfficialURL talk contribs was created automatically