pasteur
pasteur
 |
|
| Points: | 246.192 |
| Rank: | 62 |
| Opponents defeated: |
6.651.885 (30.)
|
| Tribe: |
Donka
|
| Villages (27) |
Coordinates |
Points |
|
|
467|460 |
10.393 |
|
|
470|457 |
9.143 |
|
|
476|458 |
9.725 |
|
|
467|465 |
9.272 |
|
|
470|460 |
9.107 |
|
|
467|466 |
9.029 |
|
|
470|462 |
9.114 |
|
|
468|459 |
9.111 |
|
|
477|459 |
8.976 |
|
|
470|454 |
9.144 |
|
|
467|462 |
9.010 |
|
|
470|455 |
9.155 |
|
|
475|452 |
9.208 |
|
|
472|458 |
9.899 |
|
|
473|456 |
9.999 |
|
|
470|459 |
9.107 |
|
|
472|456 |
8.326 |
|
|
477|452 |
9.538 |
|
|
472|450 |
6.780 |
|
|
512|420 |
6.278 |
|
|
513|422 |
3.846 |
|
|
465|466 |
11.982 |
|
|
465|457 |
10.534 |
|
|
462|463 |
10.460 |
|
|
461|463 |
10.461 |
|
|
476|462 |
8.100 |
|
|
477|460 |
10.495 |
|
|
Personal text
|
Intuitionistic logic can be defined using the following Hilbert-style calculus. This is similar to a way of axiomatizing classical propositional logic.
In propositional logic, the inference rule is modus ponens
MP: from ϕ → ψ and ϕ infer ψ
and the axioms are
THEN-1: ψ → ( ϕ → ψ )
THEN-2: ( χ → ( ϕ → ψ ) ) → ( ( χ → ϕ ) → ( χ → ψ ) )
AND-1: ϕ ∧ χ → ϕ
AND-2: ϕ ∧ χ → χ
AND-3: ϕ → ( χ → ( ϕ ∧ χ ) )
OR-1: ϕ → ϕ ∨ χ
OR-2: χ → ϕ ∨ χ
OR-3: ( ϕ → ψ ) → ( ( χ → ψ ) → ( ( ϕ ∨ χ ) → ψ ) )
FALSE: ⊥ → ϕ
To make this a system of first-order predicate logic, the generalization rules
∀-GEN: from ψ → ϕ infer ψ → ( ∀ x ϕ ), if x {\displaystyle x} is not free in ψ {\displaystyle \psi }
∃-GEN: from ϕ → ψ infer ( ∃ x ϕ ) → ψ if x is not free in ψ
are added, along with the axioms
PRED-1: ( ∀ x ϕ ( x ) ) → ϕ ( t ), if the term t is free for substitution for the variable x in ϕ (i.e., if no occurrence of any variable in t becomes bound in ϕ ( t ))
PRED-2: ϕ ( t ) → ( ∃ x ϕ ( x ) ), with the same restriction as for PRED-1 |
Daily achievements
1x Gatherer of the day
Scavenge the most resources in this world.
Best result: on 07.13.2025 (2.212.090 resources)
Combat achievements
Death of a hero (Gold - Level 4)
While supporting other villages, lose 100.000 of your units.
Plunderer (Gold - Level 4)
Plunder resources from other villages 10.000 times.
Leader (Silver - Level 3)
Defeat a total of 1.000.000 enemy units.
Nobles Faith (Silver - Level 3)
Defeat 100 noblemen in battle.
Reliable Commander (Silver - Level 3)
Support other players 500 times in battles.
Robber (Silver - Level 3)
Loot a total of 1.000.000 resources.
Self-attack (Silver - Level 3)
Attack yourself and lose more than 1.000 units in one battle.
The Warlord (Silver - Level 3)
Attack 100 different players
Master of the Battlefield (Bronze - Level 2)
Completely destroy 250 hostile armies.
Scout Hunter (Bronze - Level 2)
Defeat 50 scouting attacks.
Successful noble claims (Bronze - Level 2)
Conquer 25 claimed villages.
Wallbreaker (Bronze - Level 2)
Destroy 250 Wall levels using your rams.
Conquest (Wood - Level 1)
Conquer a total of 5 villages.
Demolisher (Wood - Level 1)
Destroy 25 building levels using catapults.
Self-conquest
Conquer yourself, because that's the only way to show them who's boss.
Unlucky fellow
Fail to conquer a village due to the loyalty only being reduced to +1.
Social achievements
Brothers in Arms (Bronze - Level 2)
Be a member of the same tribe for 60 consecutive days.
Beloved Friend (Wood - Level 1)
Make a total of 5 friendships.
Philanthropist (Wood - Level 1)
Gift a Premium subscription to 1 player.
Successful recruitment (Wood - Level 1)
Invite 1 friend who goes on to reach 500 points.
Growth achievements
Librarian (Gold - Level 4)
Discover 12 unique Skill Books.
Market Guru (Gold - Level 4)
Trade resources using the market 1.000 times.
Recruitment Drive (Gold - Level 4)
Recruit a total of 1.000.000 units!
Accomplished student (Silver - Level 3)
Improve your paladins' skills to a combined total of 100 skill levels.
Gatherer (Silver - Level 3)
Scavenge a total of 10.000.000 resources.
Paladin's level (Silver - Level 3)
Level up your paladin to level 20.
Score champion (Silver - Level 3)
Climb the rankings tables and reach 100.000 points.
Architect (Bronze - Level 2)
Build a total of 150 building levels!
Band of Brothers (Bronze - Level 2)
Have 4 paladins.
Out of time (Bronze - Level 2)
Use the instant complete option 100 times!
Wealth comes in gold (Bronze - Level 2)
Mint 500 gold coins.
Master of Quests (Wood - Level 1)
Complete 40 quests!
Achievements on other worlds
|
|
