Recent changes
Track the most recent changes to the wiki on this page.
23 April 2019
| 19:52 | Axiom by comprehension (Q73) (diff | hist) . . (+4) . . Admin (talk | contribs) (Changed claim: article (P3): Aksiom u teoriji skupova prema kojemu za svaki predikat $P$ postoji skup svih i samo onih predmeta koji zadovoljavaju $P$. Naivna, nedovoljno određena upotreba ovog aksioma izazivala je paradokse u te...) |
| 19:50 | A proposition (Q41) (diff | hist) . . (+82) . . Admin (talk | contribs) (Added [hr] alias: A propozicija) |
| 19:48 | (User rights log) . . Admin (talk | contribs) changed group membership for Tamara from (none) to administrator |
| 19:45 | (User creation log) . . User account Tamara (talk | contribs) was created by Admin (talk | contribs) |
22 April 2019
| 11:52 | Equivalence classes (Q563) (diff | hist) . . (-3) . . Davor (talk | contribs) (Changed claim: example (P4): Imamo skup prirodnih brojeva S = $\{15, 24, 33, 35, 44, 62, 72\}$ i relaciju ekvivalencije $\rho$, takvu da $x\rho y$ daje jednaki prirodni broj pri zbrajanju jedinične i desetične znamenke brojeva u...) |
| 11:50 | Classification (Q190) (diff | hist) . . (+96) . . Davor (talk | contribs) (Added link to [enwiki]: Classification) |
| 11:49 | Iota operator (Q480) (diff | hist) . . (+4) . . Davor (talk | contribs) (Changed claim: article (P3): Operator za (eliptično) označavanje određenih opisa, tj. pojam koji reprezentira neki jedinstveni predmet, npr. uz svojstvo S piše se kao $(\iota x)Sx$ i čita kao "točno onaj x koji je S" čime s...) |
| 11:47 | Dyadic relation (Q487) (diff | hist) . . (0) . . Davor (talk | contribs) (Setting [en] alias: Binary relation) |
| 11:47 | Aleph (Q60) (diff | hist) . . (0) . . Davor (talk | contribs) (Changed claim: article (P3): Niz brojeva koji označava kardinalnost beskonačnih skupova koji mogu biti dobro uređeni. $\aleph_0$ označava kardinalnost skupa prirodnih brojeva, $\aleph_1$ skupa realnih brojeva (skupa svih podsk...) |
20 April 2019
| 13:19 | Consistency (Q211) (2 changes | history) . . (+1,253) . . [Davor (2×)] | ||
| 13:19 (cur | prev) . . (+832) . . Davor (talk | contribs) (Created claim: Related concept (P22): Decidability (Q442)) | |||
| 12:52 (cur | prev) . . (+421) . . Davor (talk | contribs) (Changed claim: Related concept (P22): Completeness (Q265)) |
19 April 2019
| 22:58 | (Q171) (2 changes | history) . . (-246) . . [Davor (2×)] | ||
| 22:58 (cur | prev) . . (-98) . . Davor (talk | contribs) (Redirected to Q287) | |||
| 22:58 (cur | prev) . . (-148) . . Davor (talk | contribs) (Merged item into Q287) |
| 22:57 | (Deletion log) . . [Davor (3×)] | ||
| 22:57 . . Davor (talk | contribs) deleted page Item:Q437 (sadržaj je bio: »«; jedini pridonositelj bio je Anamarija (razgovor)) | |||
| 22:55 . . Davor (talk | contribs) deleted page Item:Q417 (sadržaj je bio: »«; jedini pridonositelj bio je Anamarija (razgovor)) | |||
| 22:51 . . Davor (talk | contribs) deleted page Item:Q148 (sadržaj je bio: '') |
| 22:57 | Inclusive disjunction (Q134) (diff | hist) . . (+417) . . Davor (talk | contribs) (Created claim: belongs to classification (P27): Modern symbolic logic (Q508)) |
| 22:56 | Identity of indiscernibles (Q157) (2 changes | history) . . (+525) . . [Davor (2×)] | ||
| 22:56 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: belongs to classification (P27): Philosophical logic (Q589)) | |||
| 22:55 (cur | prev) . . (+108) . . Davor (talk | contribs) (Added link to [enwiki]: Identity of indiscernibles) |
| 22:55 | Continuum hypothesis (Q153) (diff | hist) . . (+102) . . Davor (talk | contribs) (Added link to [enwiki]: Continuum hypothesis) |
| 22:54 | Henkin's completeness theorem (Q151) (2 changes | history) . . (+818) . . [Davor (2×)] | ||
| 22:54 (cur | prev) . . (+401) . . Davor (talk | contribs) (Created claim: Related concept (P22): Second-order logic (Q219)) | |||
| 22:54 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: Related concept (P22): Completeness (Q265)) |
| 22:53 | Halting problem (Q406) (4 changes | history) . . (+606) . . [Davor (4×)] | ||
| 22:53 (cur | prev) . . (+415) . . Davor (talk | contribs) (Created claim: Related concept (P22): Church's theorem (Q90)) | |||
| 22:53 (cur | prev) . . (+14) . . Davor (talk | contribs) (Changed claim: article (P3): Pitanje je postoji li univerzalan Turingov stroj koji će za svaki specifičan Turingov stroj reći hoće li se ovaj u nekom koraku zaustaviti ili će izračunavati zauvijek. Church i Turing dokazali s...) | |||
| 22:52 (cur | prev) . . (+97) . . Davor (talk | contribs) (Added link to [enwiki]: Halting problem) | |||
| 22:51 (cur | prev) . . (+80) . . Davor (talk | contribs) (Added [hr] label: Problem zaustavljanja) |
| 22:50 | Arithmetization of syntax (Q81) (4 changes | history) . . (+763) . . [Davor (4×)] | ||
| 22:50 (cur | prev) . . (+416) . . Davor (talk | contribs) (Created claim: Related concept (P22): Gödel's incompleteness theorems (Q149)) | |||
| 22:50 (cur | prev) . . (+43) . . Davor (talk | contribs) (Changed claim: article (P3): Naziv za uparivanje svake jedinice nekog formalnog sustava sa jednim iz rastućeg niza prirodnih brojeva. Važan dio Goedelovog dokaza nepotpunosti.) | |||
| 22:49 (cur | prev) . . (-446) . . Davor (talk | contribs) (Removed claim: article (P3): Gödelova metoda pripisivanja prirodnih brojeva elementima formalnih sistema u svrhu istraživanja sintakse tih formalnih sustava.) | |||
| 22:49 (cur | prev) . . (+750) . . Davor (talk | contribs) (Merged item from Q150) |
| 22:49 | (Q150) (4 changes | history) . . (-1,108) . . [Davor (4×)] | ||
| 22:49 (cur | prev) . . (-99) . . Davor (talk | contribs) (Redirected to Q81) | |||
| 22:49 (cur | prev) . . (-1,178) . . Davor (talk | contribs) (Merged item into Q81) | |||
| 22:48 (cur | prev) . . (+167) . . Davor (talk | contribs) (Added [hr] aliases: Gödelovo numeriranje, Goedelovo prebrojavanje) | |||
| 22:48 (cur | prev) . . (+2) . . Davor (talk | contribs) (Changed [hr] label: Gödelovo prebrojavanje) |
| 22:46 | Ekstension of classical logic. (Q505) (2 changes | history) . . (+518) . . [Davor (2×)] | ||
| 22:46 (cur | prev) . . (+101) . . Davor (talk | contribs) (Added link to [enwiki]: Non-classical logic) | |||
| 22:46 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: Narrower concept (P21): Modal logic (Q463)) |
| 22:45 | Number theory (Q130) (5 changes | history) . . (+479) . . [Davor (5×)] | ||
| 22:45 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: belongs to classification (P27): Modern symbolic logic (Q508)) | |||
| 22:44 (cur | prev) . . (-11) . . Davor (talk | contribs) (Changed [en] label: Number theory) | |||
| 22:44 (cur | prev) . . (-12) . . Davor (talk | contribs) (Changed [hr] label: Teorija brojeva) | |||
| 22:44 (cur | prev) . . (-10) . . Davor (talk | contribs) (Changed claim: article (P3): Dio čiste matematike posvećen proučavanju cijelih brojeva.) | |||
| 22:42 (cur | prev) . . (+95) . . Davor (talk | contribs) (Added link to [enwiki]: Number theory) |
| 22:41 | Epistemic logic (Q491) (5 changes | history) . . (+1,447) . . [Davor (5×)] | ||
| 22:41 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: belongs to classification (P27): Ekstension of classical logic. (Q505)) | |||
| 22:41 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: Broader concept (P20): Modal logic (Q463)) | |||
| 22:41 (cur | prev) . . (+432) . . Davor (talk | contribs) (Created claim: article (P3): Vrsta moderne logike namijenjena zaključivanju o epistemičkim pojmovima poput znanja i vjerovanja.) | |||
| 22:40 (cur | prev) . . (+78) . . Davor (talk | contribs) (Added [hr] label: Epistemička logika) | |||
| 22:40 (cur | prev) . . (+103) . . Davor (talk | contribs) (Added link to [enwiki]: Epistemic modal logic) |
18 April 2019
| 23:39 | Truth-value assignment (Q568) (2 changes | history) . . (+818) . . [Davor (2×)] | ||
| 23:39 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: Related concept (P22): Variable assignment (Q579)) | |||
| 23:39 (cur | prev) . . (+401) . . Davor (talk | contribs) (Created claim: Broader concept (P20): Interpretation (of a formula) (Q483)) |
| 23:39 | Variable assignment (Q579) (2 changes | history) . . (+818) . . [Davor (2×)] | ||
| 23:39 (cur | prev) . . (+417) . . Davor (talk | contribs) (Created claim: Related concept (P22): Variable (Q384)) | |||
| 23:38 (cur | prev) . . (+401) . . Davor (talk | contribs) (Created claim: Broader concept (P20): Interpretation (of a formula) (Q483)) |
