jueves, 8 de agosto de 2019

Sumas Quinto/ Safe Passage

1
2
+
1
2
3
+
2
3
4
+
3
4
5
+
4
5
6
+
5
6
7
+
6
7
8
+
7
8
12
+
8
9
11
+
9
10
12
+
10
11
13
+
11
12
12
+
12
13
14
+
13
14
24
+
14
15
34
+
15
16
45
+
16
17
67
+
17
18
89
+
18
19
12
+
19
20
23
+
20
21
34
+
21
22
45
+
22
23
65
+
23
24
43
+
24
25
45
+
25
26
67
+
26
27
87
+
27
28
98
+
28
29
98
+
29
30
98
+
30
31
97
+
2
32
98
+
4
33
98
+
6
34
87
+
8
35
87
+
10
36
86
+
12
37
76
+
14
38
56
+
16
39
78
+
18
40
98
+
20
41
87
+
22
42
87
+
24
43
89
+
26
44
45
+
28
45
45
+
30
46
56
+
32
47
57
+
34
48
57
+
36
49
57
+
38
50
58
+
40
51
67
+
3
52
699
+
6
53
55
+
9
54
55
+
12
55
34
+
15
56
35
+
18
57
36
+
21
58
373
+
24
59
45
+
27
60
464
+
30
61
44
+
33
62
484
+
36
63
46
+
39
64
78
+
42
65
89
+
45
66
98
+
48
67
90
+
51
68
98
+
54
69
93
+
57
70
98
+
60
71
87
+
63
72
65
+
66
73
54
+
69
74
56
+
72
75
78
+
75
76
90
+
4
77
89
+
8
78
65
+
12
79
76
+
16
80
88
+
20
81
56
+
24
82
78
+
28
83
68
+
32
84
89
+
36
85
98
+
40
86
78
+
44
87
76
+
48
88
74
+
52
89
72
+
56
90
70
+
60
91
68
+
64
92
66
+
68
93
64
+
72
94
62
+
76
95
60
+
80
96
58
+
84
97
56
+
88
98
54
+
92
99
52
+
96
100
50
+
100
101
48
+
5
102
46
+
10
103
44
+
15
104
42
+
20
105
40
+
25
106
38
+
30
107
36
+
35
108
34
+
40
109
32
+
45
110
30
+
50
111
28
+
55
112
31
+
60
113
34
+
65
114
37
+
70
115
40
+
75
116
43
+
80
117
46
+
85
118
49
+
90
119
52
+
95
120
55
+
100
121
58
+
4
122
61
+
10
123
64
+
16
124
67
+
22
125
70
+
28
126
73
+
34
127
76
+
40
128
79
+
46
129
82
+
52
130
85
+
58
131
88
+
64
132
91
+
70
133
94
+
76
134
97
+
82
135
100
+
88
136
103
+
94
137
106
+
100
138
109
+
2
139
112
+
5
140
115
+
8
141
118
+
11
142
121
+
14
143
124
+
17
144
127
+
20
145
130
+
12
146
133
+
17
147
136
+
22
148
139
+
27
149
142
+
32
150
145
+
37
151
148
+
42
152
151
+
47
153
154
+
52
154
157
+
57
155
160
+
62
156
163
+
3
157
166
+
9
158
169
+
15
159
172
+
21
160
175
+
27
161
178
+
33
162
181
+
39
163
184
+
45
164
187
+
51
165
190
+
57
166
193
+
63
167
196
+
2
168
199
+
3
169
202
+
4
170
205
+
5
171
208
+
6
172
211
+
7
173
214
+
8
174
217
+
9
175
220
+
8
176
223
+
7
177
226
+
6
178
229
+
5
179
232
+
4
180
235
+
3
181
238
+
2
182
241
+
3
183
244
+
4
184
247
+
5
185
250
+
6
186
253
+
7
187
256
+
8
188
259
+
9
189
262
+
3
190
265
+
4
191
268
+
5
192
271
+
6
193
274
+
7
194
277
+
8
195
280
+
9
196
283
+
8
197
286
+
7
198
289
+
5
199
292
+
4
200
295
+
3

miércoles, 20 de marzo de 2019

Teoría de Conjuntos


La definición inicial de Cantor es totalmente intuitiva: un conjunto es cualquier colección C de objetos determinados y bien distintos x de nuestra percepción o nuestro pensamiento (que se denominan elementos de C), reunidos en un todo. Igual que en Frege su idea de lo que es un conjunto coincide con la extensión de un predicado (la colección de objetos que satisface el predicado). Esta idea sencilla y tan intuitiva resulta ser también ingenua porque produce enormes contradicciones de inmediato, como por ejemplo la paradoja de Russell. Para poder mostrarlo es necesario empezar por formalizar esta teoría intuitiva que, aparte de los símbolos para los conjuntos y sus elementos (x, C, etc.), tendrá los símbolos de pertenencia ∈ e igualdad = (de los objetos del lenguaje formal). Que x es un elemento del conjunto C se expresa “x pertenece a C” o bien x ∈ C. Que x no es un elemento de C se expresa “x no pertenece a C” (x /∈ C).
La definición inicial de Cantor es informal “Un conjunto es cualquier colección C de objetos determinados y bien distintos x de nuestra percepción o nuestro pensamiento (que se denominan elementos de C), reunidos en un todo”.