pasteur
pasteur
 |
|
| Points: | 159.497 |
| Rank: | 59 |
| Opponents defeated: |
565.550 (87.)
|
| Tribe: |
Donka
|
| Villages (20) |
Coordinates |
Points |
|
|
467|460 |
10.224 |
|
|
470|457 |
7.872 |
|
|
476|458 |
10.083 |
|
|
467|465 |
8.773 |
|
|
474|456 |
8.984 |
|
|
470|460 |
8.677 |
|
|
467|466 |
7.469 |
|
|
470|462 |
7.638 |
|
|
475|437 |
9.413 |
|
|
468|459 |
6.827 |
|
|
477|459 |
8.554 |
|
|
470|454 |
7.577 |
|
|
467|462 |
6.237 |
|
|
470|455 |
5.772 |
|
|
475|452 |
6.365 |
|
|
472|458 |
10.452 |
|
|
473|456 |
10.127 |
|
|
470|459 |
8.040 |
|
|
472|456 |
6.600 |
|
|
477|452 |
3.813 |
|
|
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
Plunderer (Gold - Level 4)
Plunder resources from other villages 10.000 times.
Robber (Silver - Level 3)
Loot a total of 1.000.000 resources.
Leader (Bronze - Level 2)
Defeat a total of 100.000 enemy units.
The Warlord (Bronze - Level 2)
Attack 25 different players
Wallbreaker (Bronze - Level 2)
Destroy 250 Wall levels using your rams.
Conquest (Wood - Level 1)
Conquer a total of 5 villages.
Death of a hero (Wood - Level 1)
While supporting other villages, lose 1.000 of your units.
Demolisher (Wood - Level 1)
Destroy 25 building levels using catapults.
Master of the Battlefield (Wood - Level 1)
Completely destroy 25 hostile armies.
Nobles Faith (Wood - Level 1)
Defeat a nobleman in battle.
Reliable Commander (Wood - Level 1)
Support other players 50 times in battles.
Self-attack (Wood - Level 1)
Attack yourself and lose more than 10 units in one battle.
Successful noble claims (Wood - Level 1)
Conquer 5 claimed villages.
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.
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.
Recruitment Drive (Silver - Level 3)
Recruit a total of 50.000 units!
Score champion (Silver - Level 3)
Climb the rankings tables and reach 100.000 points.
Accomplished student (Bronze - Level 2)
Improve your paladins' skills to a combined total of 50 skill levels.
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
|
|
