发现
Software 
Book.20180626Variables istorijaPaslėpti nežymius pakeitimus  Rodyti galutinio teksto pakeitimus 2019 sausio 22 d., 22:37
atliko 
Pakeistos 1122 eilutės iš
į:
What I want to show is how I do cognitive investigation and how I think that can be fruitful for all manner of subjects including math and logic. For students it's extremely baffling, it's a great mystery. My investigation is simply to collect the ways that we talk about them. For every epsilon greater than zero there is a delta greater than zero. It could be specified unspecified, dependent independent, it could have a place, it could have a value. 2018 rugpjūčio 28 d., 14:26
atliko 
Pridėtos 23 eilutės:
Presented at the session [[http://www.unilog.org/ss6LAN.html  Language and Semiotics]] at the [[http://www.unilog.org/start6.html  6th World Congress on Universal Logic]], June 2126, Vichy, France. 2018 liepos 17 d., 22:52
atliko 
Pakeista 8 eilutė iš:
[+A Structural Semiotic Study of How We Use Variables in į:
[+A Structural Semiotic Study of How We Use Variables in Mathematics and Logic+] 2018 liepos 17 d., 22:52
atliko 
Pridėtos 78 eilutės:
 [+A Structural Semiotic Study of How We Use Variables in Logic and Mathematics+] 2018 birželio 27 d., 14:37
atliko 
Pakeistos 119 eilutės iš
[[ į:
[[20180620Variables  Abstract]], [[20180626VariablesDraft  Draft]]  Attach:VML00Title.png  Attach:VML01Variables.png  Attach:VML02Variables2.png  Attach:VML03AllVariables.png  Attach:VML04Foursome.png  Attach:VML06EquilateralTriangle.png  Attach:VML07WaysOfFiguringOut.png  Attach:VML08SetTheoryAxioms.png  2018 birželio 27 d., 14:33
atliko 
Pakeistos 134 eilutės iš
[ Outline * Examples * System * Six kinds of signs. * Conclusions  creating and solving problems * Ways of figuring things out in mathematics  [+Examples+  One of the profoundest hurdles for students of mathematics is learning to think of a given mathematical symbol in a variety of ways. The variable X may be thought of as a "constant" which may be "specified" or "unspecified", and which may "vary" or be "fixed", and may be "independent" of other variables or "dependent" on them. What is a variable? Difference between symbol and value. The options which our minds have for interpreting a variable may be dictated by a cognitive structure. We collected a variety of terms which characterize variables. Indeed, we found 12 pairs such as "known" and "unknown", "free" and "bound" or "input" and "output". Such pairs indicate how a variable may be reinterpreted. Semiotically, a variable is a sign. What can we say about what different kinds of variables signify? A logical or mathematical expression contains variables from some alphabet A, B, C... If these variables are "free" or "unknown" then they refer to nothing more and we may think of them as uninterpreted. But if they are "bound" or "arbitrary" or "independent" then we imagine them indicating a range of possibilities. If they are "known" or "particular" or even "unspecified" then they refer to particular possibilities, which we ourselves may not yet know, however. And if they are "specified" or "dependent" or "values" then they are explicitly related to other variables so that we may say that we ourselves do know them. In summary, we may think of variables as refering to unrelated originals (in an alphabet), interchangeable copies (in a multiset), particular elements (in a set) or prioritized items (in a list). They manifest a recurrent cognitive framework of levels of knowledge: whether, what, how and why. Each pair of terms refers to two such levels. Structurally, we find six pairs which our minds use to enrich the content of a variable, for example, to reinterpret a free variable as a bound variable, in order to define a problem by adding information. We also find six pairs which our minds use to emphasize the form of a variable, for example, to reinterpret an output as an input, in order to solve a problem by removing information. The way that our minds recast variables to create and solve problems is meaningful in exploring the cognitive foundations of logic. Attach:variabletypes.png į:
[[20180621Variables  Abstract]], [[20180626VariablesDraft  Draft]] 2018 birželio 25 d., 23:32
atliko 
Pridėtos 2526 eilutės:
What is a variable? Difference between symbol and value. 2018 birželio 25 d., 23:12
atliko 
Pridėta 7 eilutė:
* Six kinds of signs. Pakeista 10 eilutė iš:
į:
2018 birželio 23 d., 11:19
atliko 
Pridėtos 920 eilutės:
 [+Examples+]  2018 birželio 20 d., 14:53
atliko 
Pridėtos 28 eilutės:
Outline * Examples * System * Conclusions  creating and solving problems * Ways of figuring things out in mathematics 2018 birželio 20 d., 14:51
atliko 
Pridėtos 111 eilutės:
[++A Structural Semiotic Study of How We Use Variables in Math and Logic++] One of the profoundest hurdles for students of mathematics is learning to think of a given mathematical symbol in a variety of ways. The variable X may be thought of as a "constant" which may be "specified" or "unspecified", and which may "vary" or be "fixed", and may be "independent" of other variables or "dependent" on them. The options which our minds have for interpreting a variable may be dictated by a cognitive structure. We collected a variety of terms which characterize variables. Indeed, we found 12 pairs such as "known" and "unknown", "free" and "bound" or "input" and "output". Such pairs indicate how a variable may be reinterpreted. Semiotically, a variable is a sign. What can we say about what different kinds of variables signify? A logical or mathematical expression contains variables from some alphabet A, B, C... If these variables are "free" or "unknown" then they refer to nothing more and we may think of them as uninterpreted. But if they are "bound" or "arbitrary" or "independent" then we imagine them indicating a range of possibilities. If they are "known" or "particular" or even "unspecified" then they refer to particular possibilities, which we ourselves may not yet know, however. And if they are "specified" or "dependent" or "values" then they are explicitly related to other variables so that we may say that we ourselves do know them. In summary, we may think of variables as refering to unrelated originals (in an alphabet), interchangeable copies (in a multiset), particular elements (in a set) or prioritized items (in a list). They manifest a recurrent cognitive framework of levels of knowledge: whether, what, how and why. Each pair of terms refers to two such levels. Structurally, we find six pairs which our minds use to enrich the content of a variable, for example, to reinterpret a free variable as a bound variable, in order to define a problem by adding information. We also find six pairs which our minds use to emphasize the form of a variable, for example, to reinterpret an output as an input, in order to solve a problem by removing information. The way that our minds recast variables to create and solve problems is meaningful in exploring the cognitive foundations of logic. Attach:variabletypes.png 
Naujausi pakeitimai Introduction E9F5FC Understandable FFFFFF Questions FFFFC0 Notes EEEEEE

Puslapis paskutinį kartą pakeistas 2019 sausio 22 d., 22:37
