Operator | Description | Associativity |
CAST | Type Conversion | N/A |
PROCPTR | Procedure pointer | N/A |
STRPTR | String pointer | N/A |
VARPTR | Variable pointer | N/A |
[] | String index | Left-to-Right |
[] | Pointer index | Left-to-Right |
() | Array index | Left-to-Right |
() | Function Call | Left-to-Right |
. | Member access | Left-to-Right |
-> | Pointer to member access | Left-to-Right |
@ | Address of | Right-to-Left |
* | Value of | Right-to-Left |
New | Allocate Memory | Right-to-Left |
Delete | Deallocate Memory | Right-to-Left |
^ | Exponentiate | Left-to-Right |
- | Negate | Right-to-Left |
* | Multiply | Left-to-Right |
/ | Divide | Left-to-Right |
\ | Integer divide | Left-to-Right |
MOD | Modulus | Left-to-Right |
SHL | Shift left | Left-to-Right |
SHR | Shift right | Left-to-Right |
+ | Add | Left-to-Right |
- | Subtract | Left-to-Right |
& | String concatenation | Left-to-Right |
= | Equal | Left-to-Right |
<> | Not equal | Left-to-Right |
< | Less than | Left-to-Right |
<= | Less than or equal | Left-to-Right |
>= | Greater than or equal | Left-to-Right |
> | Greater than | Left-to-Right |
NOT | Complement | Right-to-Left |
AND | Conjunction | Left-to-Right |
OR | Inclusive Disjunction | Left-to-Right |
EQV | Equivalence | Left-to-Right |
IMP | Implication | Left-to-Right |
XOR | Exclusive Disjunction | Left-to-Right |
ANDALSO | Short Circuit Conjunction | Left-to-Right |
ORELSE | Short Circuit Inclusive Disjunction | Left-to-Right |
= | Assignment | N/A |
&= | Concatenate and Assign | N/A |
+= | Add and Assign | N/A |
-= | Subtract and Assign | N/A |
*= | Multiply and Assign | N/A |
/= | Divide and Assign | N/A |
\= | Integer Divide and Assign | N/A |
^= | Exponentiate and Assign | N/A |
MOD= | Modulus and Assign | N/A |
AND= | Conjunction and Assign | N/A |
EQV= | Equivalence and Assign | N/A |
IMP= | Implication and Assign | N/A |
OR= | Inclusive Disjunction and Assign | N/A |
XOR= | Exclusive Disjunction and Assign | N/A |
SHL= | Shift Left and Assign | N/A |
SHR= | Shift Right and Assign | N/A |
LET | Assignment | N/A |
LET() | Assignment | N/A |
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.