Gödel-Gentzen creative solution for Three Words by veky - python coding challenges

Enable Javascript in your browser and then refresh this page, for a much enhanced experience.

Gödel-Gentzen solution in Creative category for Three Words by veky

import re
checkio = lambda words: not not re.search(r'\D \D+ \D', words)

Aug. 15, 2017

Comments:

veky on Dec. 1, 2017, 12:11 p.m.
The rub is that there is another negation, inside \D. :-)

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 9:23 a.m.
What is ‘Gödel-Gentzen’? Are you speaking German? ;)

veky on May 15, 2021, 9:25 a.m.
No, I'm speaking mathematics. :-P <a href="https://en.wikipedia.org/wiki/Double-negation_translation">https://en.wikipedia.org/wiki/Double-negation_translation</a>

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 9:26 a.m.
xxxDD

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 9:27 a.m.
Ok, than Tell me something on mathematics ;-)

veky on May 15, 2021, 9:39 a.m.
I did. About 460 times already. :-P

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 9:32 a.m.
Question: what are editors choice solutions?

veky on May 15, 2021, 9:32 a.m.
You have to ask the editors. ;]

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 9:52 a.m.
?dont understand?

veky on May 15, 2021, 10:11 a.m.
There are some people here who "run this place". @oduvan, for example. Sometimes they think some solution is worth promoting, so they slap some label on it, such as "editors' choice".

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 10:41 a.m.
Can you give some examples please?

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 10:43 a.m.
(Of missions)

veky on May 15, 2021, 10:47 a.m.
I really don't know what are you talking about. Just look at the solutions, some of them will have a star next to it or something. :-)

_Chico__5d82cee4f5234e78a5c65e on May 15, 2021, 11:16 a.m.
Ah,thanks! ;)

Strings and Integers

0 %

You ClassRoom Demo is Ready With the new tool CheckiO ClassRoom, you will be able to analyze your students' progress, have your own leaderboard, change missions order on the map, and so on.