593 reputation
413
bio website
location
age
visits member for 3 years, 3 months
seen yesterday

Enthusiastic about computer graphics, vintage computing and hardware.

Niklas Rosencrantz (Stockholm, Sweden)


Apr
7
revised Does law of excluded middle prove itself?
added 189 characters in body
Apr
4
comment Is there a simple example of how the law of the excluded middle can be inapplicable?
Similarly to statistical testing where rejecting a hypothesis is not the same as accepting the alternative hypothesis.
Apr
4
comment Is there a simple example of how the law of the excluded middle can be inapplicable?
@dtldarek That's interesting. A practical problem I had was to model and test for "locked" XOR "unlocked" where the alternatives should be mutually exclusive and therefore we could model that with a boolean variable, but if I test an entity for the value of unlocked and find that it is false that it's unlocked, that doesn't guarantee that the system is consistent and that the entity doesn't get reported as both locked and unlocked since that is testing the system's consistency that entities don't get inconsistent values like a user account that is locked and unlocked at the same time.
Apr
4
answered Does law of excluded middle prove itself?
Apr
4
revised Is there a simple example of how the law of the excluded middle can be inapplicable?
added 1 characters in body
Apr
4
comment Is there a simple example of how the law of the excluded middle can be inapplicable?
When often there will be more alternatives than two mutually exclusive alternatives. (The cat is either alive or dead and there is no overlapping possibility.) One might need to prove that what is actually tested indeed is a boolean value which is 1 in some cases and 0 otherwise. And it's the "otherwise" that doesn't guarantee much, or how does it?
Apr
4
comment Is there a simple example of how the law of the excluded middle can be inapplicable?
@GitGud I tried to clarify my question: "Why does a logic system not use the law of the excluded middle?" When a statement doesn't have a truth value at all, then the law of the excluded middle is inapplicable (?) and we can only use the law of the excluded middle when there are truth values e.g. 0 or 1 (true or false). In practice, a nil or no value gets interpreted as 0 or false just because I ask for a boolean. (Example x= or x=null might get tested by accident and return false because of the language.) I try to know when it's actually ok to use a boolean variable or a mutex.
Apr
4
revised Is there a simple example of how the law of the excluded middle can be inapplicable?
added 66 characters in body
Apr
4
asked Is there a simple example of how the law of the excluded middle can be inapplicable?
Feb
27
awarded  Popular Question
Feb
17
awarded  Notable Question
Jan
4
accepted Why does relative error give number of correct digits?
Oct
16
awarded  Popular Question
Sep
1
answered Probability, Random Walk, Distance from Origin after N steps in 2 and 3 dimensions
Sep
1
revised What are the coeff. of this polynomial?
edited body
Sep
1
asked What are the coeff. of this polynomial?
Sep
1
comment How to fit non-linear matlab data?
@AlexR Thanks, I'm still working on the problem and I'm checking now that coeff. are correct but I'm getting different results. The coeff. I get now are: p = -20.2090 17.3368 272.9057 -0.7528 but those might be incorrect.
Sep
1
accepted How to fit non-linear matlab data?
Aug
31
accepted How to proceed solving this problem?
Aug
20
comment How to proceed solving this problem?
Thank you for the help.