3 ms·
It's also worth noting that this guy is working off of a built-in reputation system, while the question is just looking for a syllogism recognizer. The questio
by dropit_sphere 12y ago
It's also worth noting that this guy is working off of a built-in reputation system, while the question is just looking for a syllogism recognizer. The questioner can go play with Coq if that's what they're looking for.
- kazinator 12y ago... and real science also works off a reputation system. If everyone did nothing but check everyone else's results, there would be no progress. While we don't trust first-hand original research, we do place trust in third party validations of research.
- ethanbond 12y agoBy "real science" you do indeed mean the modern scientific method. There's nothing inherently provably correct about how we currently do science, we just know it tends to be a lot more effective than whatever the hell it was we did prior to inventing it.
- informatimago 12y agoFurther, there are different logic system, and infering that bears at North pole are white from these premises requires certain logic system, but couldn't be infered in others. It could be said that even people (not logicians), who answer that bears there are white, are not using a logic system including the Modus Ponens, because they would also stand that there are darker bears at the North pole, teddy bears, and that even white bears are not entirely white. So indeed, it's hard to judge this Siberian intelligence, without further elaboration. There's a problem of selection, and the system that sets the selection criteria is as important as the population selected. Perhaps the IQ only measures the match between the selection criteria and the population. Raising it or lowering it is caused as much by changes in the population, as changes in the selecting system.