-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path48.post
More file actions
39 lines (37 loc) · 1.37 KB
/
48.post
File metadata and controls
39 lines (37 loc) · 1.37 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
;;;;;
title: We Told These Proofs 2B-Selfevident
tags: school, truth, history, shards
format: md
date: 2019-03-09T1437
;;;;;
```
nota bene:
- please include statement to be proven, at top of file,
- along with the assumptions deemed indispensible,
- not necessarily in that order.
- thank you
*** 1a1 student
assumed:
- field of positive integers
- from which, logarithms are extracted at a sufficiently high base
- autopsist has enough humorsense to creatively disinterpret names
of chosen variables in the context of locally-smooth metrics.
for your consideration:
- the integer constants in this exercise had historical meanings
for the current operator of the autopsy machine.
*** 1a2 student
simulated:
- piled cannonballs until reaching closed-form series collapse
likely assumptions:
- familiarity with common integer sequences
- access to well-indexed encyclopedia
**** for the benefit of Mr Kite:
there will be a show tonight, with cannonballs.
how about these classes of complexity computation?
- i. naturals are either a constant, or sums of a constant.
- ii. triangles are sums of all consecutive positive integers.
- iii. squares are sums of two consecutive triangular numbers.
- iv. square pyramids are sums of all consecutive square numbers.
- v. now, you are thinking with exponential implosions.
```
The remainder of the proof mistranslations are left as an exercise for the future.