Nekdo, ki je strokovnjak (npr., ima se za matematičnega eksperta), nosi povečano odgovornost.Zajc napisal/-a:Na to si odgovor dobil. Dodam pa seveda lahko, da je lahko naloga res pomanjkljivo sestavljena za nekoga, ki nima zadostnega matematičnega predznanja.Rock napisal/-a:Moje videnje zadeve je naslednje:
- sporno vprašanje je, ali je (profesor matematike?) dovolj natančno oblikoval nalogo
Ima pa tudi veliko moralno dolžnost: problem mora znati pojasniti v popolnosti - tako, da ne ostane nikakršnega mesta za dvom.
Moja radovednost je ostala pri istem predmetu:- citirani an. pasus se glasi: A formula is a syntactic formal object that can be given a semantic meaning by means of semantics.
-------------------
Da. Pri čemer sploh ne vem, zakaj se naenkrat zanimaš za definicijo pojma "formula", če sta te prvotno zanimali le definiciji pojmov "abeceda" in "beseda".
takole se namreč bere pri že označenih geslih, in z njimi povezanih geslih (navajam relevantne izvlečke):
The alphabet of a formal language is the set of symbols, letters, or tokens from which the strings of the language may be formed;
/.../
The strings formed from this alphabet are called words, and the words that belong to a particular formal language are sometimes called well-formed words or well-formed formulas.
/.../
The symbols and strings of symbols may be broadly divided into nonsense and well-formed formulas. A formal language can be thought of as identical to the set of its well-formed formulas.
/.../
In mathematical logic, a well-formed formula, /.../, often simply formula, is a word /.../
A formal language can be considered to be identical to the set containing all and only its formulas.
A formula is a syntactic formal object that can be given a semantic meaning by means of semantics.
To bi pomenilo: beseda (a word, a well-formed formula, or formula) mora biti smiselna (can be given a semantic meaning); pomen 'besede' je torej isti kot v slovenistiki ('beseda' mora nekaj pomeniti: nesmiseln sklop črk ni 'beseda').
Torej, naš domnevni profesor matematike vendarle ni bil zadosti vesten.
Moja sodba o tvoji verodostojnosti (strokovnosti, poštenosti) implicitno sledi iz gornjega.
Vseeno, moja zahvala je bila pristna, in ostaja takšna: pokazal si mi pot do več znanja.