# User contributions

(newest | oldest) View (newer 215 | older 215) (20 | 50 | 100 | 250 | 500)

- 23:15, 12 July 2019 (diff | hist) . . (+110) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem) (current)
- 21:43, 12 July 2019 (diff | hist) . . (+133) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation (current)
- 21:23, 12 July 2019
(diff | hist) . .
**(+525)** . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation - 21:11, 12 July 2019
(diff | hist) . .
**(+731)** . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation - 21:07, 12 July 2019 (diff | hist) . . (+226) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 21:05, 12 July 2019 (diff | hist) . . (+212) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 21:02, 12 July 2019 (diff | hist) . . (+87) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:57, 12 July 2019 (diff | hist) . . (+11) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:55, 12 July 2019 (diff | hist) . . (-1) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:55, 12 July 2019 (diff | hist) . . (+267) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:50, 12 July 2019 (diff | hist) . . (+111) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:47, 12 July 2019 (diff | hist) . . (0) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:45, 12 July 2019
(diff | hist) . .
**(+645)** . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation - 20:39, 12 July 2019
(diff | hist) . .
**(+752)** . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation - 20:32, 12 July 2019 (diff | hist) . . (+211) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:28, 12 July 2019 (diff | hist) . . (+150) . . User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation
- 20:28, 12 July 2019 (diff | hist) . . (+143) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 20:28, 12 July 2019
(diff | hist) . .
**(+651)** . . N User:IssaRice/Computability and logic/Rogers fixed point theorem using Sipser's notation (Created page with "Sipser's textbook presents the recursion theorem, but not the fixed point theorem. Here is one way to state the fixed point theorem using Sipser's notation. '''Theorem''' (Fi...") - 07:50, 6 July 2019 (diff | hist) . . (+27) . . User:IssaRice/Construction of the real numbers (current)
- 07:46, 6 July 2019 (diff | hist) . . (+243) . . User:IssaRice/Construction of the real numbers
- 07:37, 6 July 2019 (diff | hist) . . (0) . . User:IssaRice/Isometry in metric spaces (current)
- 07:36, 6 July 2019 (diff | hist) . . (+40) . . User:IssaRice/Isometry in metric spaces
- 07:36, 6 July 2019 (diff | hist) . . (+266) . . User:IssaRice/Isometry in metric spaces
- 07:32, 6 July 2019 (diff | hist) . . (+358) . . User:IssaRice/Isometry in metric spaces
- 07:29, 6 July 2019
(diff | hist) . .
**(+648)** . . User:IssaRice/Isometry in metric spaces - 07:24, 6 July 2019
(diff | hist) . .
**(+864)** . . N User:IssaRice/Isometry in metric spaces (Created page with "when playing around with metric spaces, one might notice that certain metric spaces can be "modeled" by other metric spaces. For instance, let <math>X = \{1,2,3\}</math> be a...") - 07:15, 6 July 2019 (diff | hist) . . (+6) . . User:IssaRice/Construction of the real numbers
- 07:14, 6 July 2019 (diff | hist) . . (+129) . . User:IssaRice/Construction of the real numbers
- 07:12, 6 July 2019 (diff | hist) . . (+294) . . User:IssaRice/Construction of the real numbers
- 07:09, 6 July 2019 (diff | hist) . . (+438) . . N User:IssaRice/Construction of the real numbers (Created page with "something that i have seen clarified ''exactly once'' is why constructing the real numbers (for instance via dedekind cuts or equivalence classes of cauchy sequences of ration...")
- 05:02, 6 July 2019 (diff | hist) . . (0) . . User:IssaRice/Adherent point and limit point (→Limit point of a sequence) (current)
- 05:02, 6 July 2019 (diff | hist) . . (+55) . . User:IssaRice/Adherent point and limit point (→Limit point of a sequence)
- 05:01, 6 July 2019 (diff | hist) . . (+92) . . User:IssaRice/Adherent point and limit point (→Limit point of a sequence)
- 04:57, 6 July 2019 (diff | hist) . . (+149) . . User:IssaRice/Adherent point and limit point (→Limit point of a sequence)
- 04:45, 6 July 2019
(diff | hist) . .
**(+991)** . . User:IssaRice/Adherent point and limit point (→Limit point of a sequence) - 04:38, 6 July 2019 (diff | hist) . . (+349) . . User:IssaRice/Adherent point and limit point
- 04:37, 6 July 2019 (diff | hist) . . (+1) . . User:IssaRice/Adherent point and limit point
- 04:36, 6 July 2019 (diff | hist) . . (+475) . . User:IssaRice/Adherent point and limit point
- 04:27, 6 July 2019 (diff | hist) . . (0) . . User:IssaRice/Adherent point and limit point
- 04:26, 6 July 2019 (diff | hist) . . (+118) . . User:IssaRice/Adherent point and limit point
- 04:24, 6 July 2019
(diff | hist) . .
**(+1,143)** . . N User:IssaRice/Adherent point and limit point (Created page with "Let <math>(X,d)</math> be a metric space, let <math>E</math> be a subset of <math>X</math>, and let <math>x_0\in X</math> be a point. * there exists a sequence <math>(x_n)_{n...") - 04:08, 5 July 2019 (diff | hist) . . (-4) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Topology) (current)
- 04:08, 5 July 2019 (diff | hist) . . (+18) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Topology)
- 04:06, 5 July 2019 (diff | hist) . . (+14) . . User:IssaRice/Subfield of math that is best for introducing proofs
- 04:04, 5 July 2019 (diff | hist) . . (+70) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Abstract algebra)
- 04:02, 5 July 2019 (diff | hist) . . (+419) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Computability and logic)
- 03:58, 5 July 2019 (diff | hist) . . (+100) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Linear algebra)
- 03:57, 5 July 2019 (diff | hist) . . (+193) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Computability and logic)
- 03:56, 5 July 2019 (diff | hist) . . (+100) . . User:IssaRice/Subfield of math that is best for introducing proofs
- 03:55, 5 July 2019 (diff | hist) . . (+99) . . User:IssaRice/Subfield of math that is best for introducing proofs
- 03:53, 5 July 2019 (diff | hist) . . (+51) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Linear algebra)
- 03:50, 5 July 2019 (diff | hist) . . (+11) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Abstract algebra)
- 03:50, 5 July 2019 (diff | hist) . . (+383) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Computability and logic)
- 03:48, 5 July 2019 (diff | hist) . . (+140) . . User:IssaRice/Subfield of math that is best for introducing proofs (→Linear algebra)
- 03:46, 5 July 2019
(diff | hist) . .
**(+517)** . . User:IssaRice/Subfield of math that is best for introducing proofs (→Real analysis) - 03:42, 5 July 2019 (diff | hist) . . (+210) . . N User:IssaRice/Subfield of math that is best for introducing proofs (Created page with "==Real analysis== Pros: Cons: ==Linear algebra== Pros: Cons: ==Abstract algebra== Pros: Cons: ==Computability and logic== Pros: Cons: ==Discrete math== Pros: Con...")
- 21:38, 30 June 2019
(diff | hist) . .
**(+825)** . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter)) (current) - 21:30, 30 June 2019 (diff | hist) . . (+95) . . User:IssaRice/Logical inductor construction (→Proposition 5.3.1 (Redundant Enumeration of e.c. Traders))
- 21:28, 30 June 2019 (diff | hist) . . (+348) . . User:IssaRice/Logical inductor construction (→Proposition 5.3.1 (Redundant Enumeration of e.c. Traders))
- 21:21, 30 June 2019 (diff | hist) . . (+256) . . User:IssaRice/Logical inductor construction (→Proposition 5.3.1 (Redundant Enumeration of e.c. Traders))
- 02:02, 30 June 2019 (diff | hist) . . (+80) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.3.2 (TradingFirm))
- 01:54, 30 June 2019 (diff | hist) . . (+113) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.3.2 (TradingFirm))
- 00:31, 30 June 2019 (diff | hist) . . (+135) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.3.2 (TradingFirm))
- 23:25, 29 June 2019 (diff | hist) . . (+39) . . User:IssaRice/Logical inductor construction (→Part 2)
- 23:07, 29 June 2019 (diff | hist) . . (+1) . . User:IssaRice/Logical inductor construction (→Part 2)
- 23:07, 29 June 2019
(diff | hist) . .
**(+600)** . . User:IssaRice/Logical inductor construction (→Part 2) - 23:04, 29 June 2019 (diff | hist) . . (+92) . . User:IssaRice/Logical inductor construction (→Part 2)
- 22:36, 29 June 2019 (diff | hist) . . (+82) . . User:IssaRice/Logical inductor construction (→Part 1)
- 22:04, 29 June 2019 (diff | hist) . . (+140) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 22:01, 29 June 2019 (diff | hist) . . (+314) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:58, 29 June 2019 (diff | hist) . . (+461) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:53, 29 June 2019 (diff | hist) . . (+187) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:44, 29 June 2019
(diff | hist) . .
**(+612)** . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter)) - 21:35, 29 June 2019 (diff | hist) . . (+369) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:32, 29 June 2019 (diff | hist) . . (+63) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:32, 29 June 2019 (diff | hist) . . (+34) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:31, 29 June 2019 (diff | hist) . . (+304) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 21:14, 29 June 2019 (diff | hist) . . (+34) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.3 (MarketMaker Inexploitability))
- 22:27, 27 June 2019 (diff | hist) . . (+84) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views (current)
- 22:26, 27 June 2019 (diff | hist) . . (+319) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 22:23, 27 June 2019 (diff | hist) . . (+110) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 22:20, 27 June 2019
(diff | hist) . .
**(+589)** . . User:IssaRice/Linear algebra/Linear transformation vs matrix views - 22:17, 27 June 2019 (diff | hist) . . (+367) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 22:14, 27 June 2019 (diff | hist) . . (+104) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 22:13, 27 June 2019 (diff | hist) . . (+187) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 22:08, 27 June 2019 (diff | hist) . . (+251) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 21:59, 27 June 2019 (diff | hist) . . (+104) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 21:56, 27 June 2019 (diff | hist) . . (+461) . . User:IssaRice/Linear algebra/Linear transformation vs matrix views
- 21:50, 27 June 2019
(diff | hist) . .
**(+531)** . . N User:IssaRice/Linear algebra/Linear transformation vs matrix views (Created page with "Given an <math>m\times n</math> matrix <math>A</math> we can define a linear map <math>T : \mathbf R^n \to \mathbf R^m</math> by <math>T(x) = Ax</math>. Given a linear map <m...") - 22:45, 26 June 2019 (diff | hist) . . (+293) . . User:IssaRice/Logical inductor construction (→Lemma 5.2.2 (Properties of Budgeter))
- 22:32, 26 June 2019 (diff | hist) . . (+37) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.3 (MarketMaker Inexploitability))
- 22:31, 26 June 2019 (diff | hist) . . (+55) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 22:27, 26 June 2019 (diff | hist) . . (+123) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.2.1 (Budgeter))
- 22:18, 26 June 2019 (diff | hist) . . (+122) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.3 (MarketMaker Inexploitability))
- 22:02, 26 June 2019 (diff | hist) . . (+108) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:59, 26 June 2019 (diff | hist) . . (+490) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:50, 26 June 2019 (diff | hist) . . (+56) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:47, 26 June 2019 (diff | hist) . . (+284) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:45, 26 June 2019 (diff | hist) . . (+306) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:35, 26 June 2019 (diff | hist) . . (+171) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:33, 26 June 2019 (diff | hist) . . (+436) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:30, 26 June 2019 (diff | hist) . . (-18) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:30, 26 June 2019 (diff | hist) . . (+53) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:29, 26 June 2019 (diff | hist) . . (+180) . . User:IssaRice/Logical inductor construction (→Definition/Proposition 5.1.2 (MarketMaker))
- 21:21, 26 June 2019 (diff | hist) . . (+71) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 21:16, 26 June 2019
(diff | hist) . .
**(+528)** . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma)) - 21:12, 26 June 2019 (diff | hist) . . (+378) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 21:10, 26 June 2019 (diff | hist) . . (+162) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 21:08, 26 June 2019 (diff | hist) . . (+103) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 21:06, 26 June 2019 (diff | hist) . . (+1) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 21:06, 26 June 2019 (diff | hist) . . (+368) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 20:58, 26 June 2019 (diff | hist) . . (+140) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 20:55, 26 June 2019 (diff | hist) . . (+416) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 20:46, 26 June 2019 (diff | hist) . . (+169) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 20:40, 26 June 2019 (diff | hist) . . (0) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:58, 26 June 2019 (diff | hist) . . (+295) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:55, 26 June 2019 (diff | hist) . . (+260) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:50, 26 June 2019 (diff | hist) . . (+499) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:42, 26 June 2019 (diff | hist) . . (+454) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:39, 26 June 2019 (diff | hist) . . (+29) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:39, 26 June 2019 (diff | hist) . . (+248) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:38, 26 June 2019 (diff | hist) . . (+451) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:34, 26 June 2019 (diff | hist) . . (+62) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:31, 26 June 2019
(diff | hist) . .
**(+659)** . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma)) - 18:26, 26 June 2019
(diff | hist) . .
**(+538)** . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma)) - 17:53, 26 June 2019 (diff | hist) . . (+456) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 17:47, 26 June 2019
(diff | hist) . .
**(+910)** . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma)) - 18:42, 25 June 2019 (diff | hist) . . (+388) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:38, 25 June 2019 (diff | hist) . . (0) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:38, 25 June 2019 (diff | hist) . . (+254) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:34, 25 June 2019 (diff | hist) . . (+173) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:32, 25 June 2019 (diff | hist) . . (+314) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 18:08, 25 June 2019 (diff | hist) . . (+325) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 17:59, 25 June 2019
(diff | hist) . .
**(+640)** . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma)) - 17:54, 25 June 2019 (diff | hist) . . (+216) . . User:IssaRice/Logical inductor construction (→Lemma 5.1.1 (Fixed Point Lemma))
- 00:59, 25 June 2019 (diff | hist) . . (+145) . . User:IssaRice/Computability and logic/Sipser's quine in Python (current)
- 00:54, 25 June 2019 (diff | hist) . . (+96) . . User:IssaRice/Logical inductor construction
- 00:53, 25 June 2019 (diff | hist) . . (+336) . . User:IssaRice/Logical inductor construction
- 00:51, 25 June 2019 (diff | hist) . . (-4) . . User:IssaRice/Logical induction notation (current)
- 00:50, 25 June 2019
(diff | hist) . .
**(+599)** . . User:IssaRice/Logical inductor construction - 00:50, 25 June 2019
(diff | hist) . .
**(-562)** . . User:IssaRice/Logical induction notation - 00:47, 25 June 2019 (diff | hist) . . (+96) . . User:IssaRice/Logical inductor construction
- 00:47, 25 June 2019 (diff | hist) . . (+102) . . User:IssaRice/Logical induction notation
- 00:46, 25 June 2019 (diff | hist) . . (+1) . . N User:IssaRice/Logical inductor construction (Created page with ".")
- 07:13, 21 June 2019
(diff | hist) . .
**(+554)** . . User:IssaRice/Reflections on working through Tao's Analysis (current) - 07:07, 21 June 2019 (diff | hist) . . (+193) . . User:IssaRice/Taking inf and sup separately (current)
- 06:49, 21 June 2019 (diff | hist) . . (+69) . . User:IssaRice/Linear algebra/Rank (current)
- 00:09, 19 June 2019
(diff | hist) . .
**(+1,230)** . . N User:IssaRice/Computability and logic/Sipser's quine in Python (Created page with "Michael Sipser's ''Introduction to the Theory of Computation'' describes a quine using Turing machines. Here is an implementation of the machine ''SELF''. <pre>TAPE = "" de...") - 19:52, 16 June 2019 (diff | hist) . . (+325) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 19:49, 16 June 2019 (diff | hist) . . (+162) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 19:47, 16 June 2019
(diff | hist) . .
**(+627)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem) - 19:12, 16 June 2019 (diff | hist) . . (+174) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 19:09, 16 June 2019 (diff | hist) . . (+8) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 19:09, 16 June 2019 (diff | hist) . . (+156) . . User:IssaRice/Computability and logic/Diagonalization lemma (→Rogers's fixed point theorem)
- 05:48, 10 June 2019 (diff | hist) . . (+59) . . User:IssaRice/Subsets of the reals that can define their own convergence (current)
- 05:44, 10 June 2019
(diff | hist) . .
**(+1,100)** . . User:IssaRice/Subsets of the reals that can define their own convergence - 05:38, 10 June 2019
(diff | hist) . .
**(+2,281)** . . N User:IssaRice/Subsets of the reals that can define their own convergence (Created page with "(probably not very important) Something that has bugged me about the Cauchy sequence construction of the reals is that in the definition of Cauchyness/convergence, a rational...") - 02:40, 7 June 2019 (diff | hist) . . (+482) . . User:IssaRice/Linear algebra/Rank
- 02:34, 7 June 2019 (diff | hist) . . (+440) . . N User:IssaRice/Linear algebra/Rank (Created page with "<math>T : V \to W</math> <math>A</math> is m by n matrix * <math>\dim \operatorname{range} T</math> * dimension of row space of <math>A</math> * dimension of column space of...")
- 23:50, 1 June 2019 (diff | hist) . . (+53) . . User:IssaRice/Extreme value theorem (current)
- 23:47, 1 June 2019 (diff | hist) . . (+98) . . User:IssaRice/Extreme value theorem
- 23:45, 1 June 2019
(diff | hist) . .
**(+648)** . . User:IssaRice/Extreme value theorem - 23:39, 1 June 2019 (diff | hist) . . (+3) . . User:IssaRice/Extreme value theorem
- 23:38, 1 June 2019 (diff | hist) . . (+5) . . User:IssaRice/Extreme value theorem
- 23:37, 1 June 2019 (diff | hist) . . (+225) . . User:IssaRice/Extreme value theorem
- 23:36, 1 June 2019 (diff | hist) . . (+48) . . User:IssaRice/Extreme value theorem
- 23:35, 1 June 2019 (diff | hist) . . (+47) . . User:IssaRice/Extreme value theorem
- 23:32, 1 June 2019 (diff | hist) . . (+163) . . User:IssaRice/Extreme value theorem
- 23:30, 1 June 2019
(diff | hist) . .
**(-537)** . . User:IssaRice/Extreme value theorem - 23:27, 1 June 2019 (diff | hist) . . (+60) . . User:IssaRice/Extreme value theorem
- 23:25, 1 June 2019 (diff | hist) . . (-8) . . User:IssaRice/Extreme value theorem
- 23:24, 1 June 2019 (diff | hist) . . (-48) . . User:IssaRice/Extreme value theorem
- 23:23, 1 June 2019 (diff | hist) . . (0) . . User:IssaRice/Extreme value theorem
- 23:22, 1 June 2019 (diff | hist) . . (+86) . . User:IssaRice/Extreme value theorem
- 23:21, 1 June 2019 (diff | hist) . . (-1) . . User:IssaRice/Extreme value theorem
- 23:20, 1 June 2019 (diff | hist) . . (-57) . . User:IssaRice/Extreme value theorem
- 23:18, 1 June 2019 (diff | hist) . . (+210) . . User:IssaRice/Extreme value theorem
- 23:06, 1 June 2019 (diff | hist) . . (+118) . . User:IssaRice/Extreme value theorem
- 23:04, 1 June 2019 (diff | hist) . . (-160) . . User:IssaRice/Extreme value theorem
- 22:56, 1 June 2019 (diff | hist) . . (+252) . . User:IssaRice/Extreme value theorem
- 22:52, 1 June 2019 (diff | hist) . . (+43) . . User:IssaRice/Extreme value theorem
- 22:49, 1 June 2019 (diff | hist) . . (+369) . . User:IssaRice/Extreme value theorem
- 22:27, 1 June 2019 (diff | hist) . . (+4) . . User:IssaRice/Extreme value theorem
- 22:27, 1 June 2019 (diff | hist) . . (+95) . . User:IssaRice/Extreme value theorem
- 22:25, 1 June 2019 (diff | hist) . . (+161) . . User:IssaRice/Extreme value theorem
- 22:23, 1 June 2019 (diff | hist) . . (+55) . . User:IssaRice/Extreme value theorem
- 22:20, 1 June 2019 (diff | hist) . . (+47) . . User:IssaRice/Extreme value theorem
- 22:18, 1 June 2019
(diff | hist) . .
**(+2,063)** . . N User:IssaRice/Extreme value theorem (Created page with "Working through the proof in Pugh's book by filling in the parts he doesn't talk about. Let <math>M = \sup\{f(x) : x \in [a,b]\}</math> and <math>X = \{x \in [a,b] : \sup V_x...") - 20:23, 22 May 2019 (diff | hist) . . (+13) . . User:IssaRice/Computability and logic/S–m–n theorem (current)
- 20:22, 22 May 2019 (diff | hist) . . (+348) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:21, 22 May 2019 (diff | hist) . . (+161) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:19, 22 May 2019 (diff | hist) . . (+289) . . User:IssaRice/Computability and logic/S–m–n theorem
- 20:18, 22 May 2019 (diff | hist) . . (+477) . . User:IssaRice/Computability and logic/S–m–n theorem
- 19:24, 22 May 2019 (diff | hist) . . (+88) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:23, 22 May 2019 (diff | hist) . . (+260) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:15, 22 May 2019 (diff | hist) . . (+165) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2)
- 19:05, 22 May 2019
(diff | hist) . .
**(+754)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2) - 18:57, 22 May 2019
(diff | hist) . .
**(+1,110)** . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 2) - 18:45, 22 May 2019 (diff | hist) . . (+274) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 3)
- 18:42, 22 May 2019 (diff | hist) . . (+155) . . User:IssaRice/Computability and logic/Diagonalization lemma (→approach 3)
- 17:37, 11 May 2019 (diff | hist) . . (+5) . . User:IssaRice/Computability and logic/Semantic completeness (→Proof) (current)
- 08:47, 28 April 2019 (diff | hist) . . (+473) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→algorithm vs program vs index vs Godel number) (current)
- 08:54, 26 April 2019 (diff | hist) . . (-14) . . User:IssaRice/Computability and logic/Characterization of recursively enumerable sets (current)
- 08:04, 26 April 2019 (diff | hist) . . (+59) . . User:IssaRice/Computability and logic/Summary table of sets in computability (current)
- 08:03, 26 April 2019 (diff | hist) . . (+23) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:03, 26 April 2019 (diff | hist) . . (+44) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:02, 26 April 2019 (diff | hist) . . (+10) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:01, 26 April 2019 (diff | hist) . . (+9) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+15) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 08:00, 26 April 2019 (diff | hist) . . (+22) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (+6) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:59, 26 April 2019 (diff | hist) . . (0) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:58, 26 April 2019 (diff | hist) . . (+45) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:57, 26 April 2019 (diff | hist) . . (+36) . . User:IssaRice/Computability and logic/Summary table of sets in computability
- 07:55, 26 April 2019 (diff | hist) . . (+87) . . User:IssaRice/Computability and logic/Some important distinctions and equivalences in introductory mathematical logic (→Enumerating vs computably enumerating vs primitive-recursively enumerating)

(newest | oldest) View (newer 215 | older 215) (20 | 50 | 100 | 250 | 500)