Information: - The Holy See is the ecclesiastical jurisdiction of the Catholic Church in Rome, the episcopal see of the Pope, and an independent sovereign entity. It serves as the central point of reference for the Catholic Church everywhere and the focal point of communion due to its position as the pre-eminent episcopal see of the universal church. It traces its origin to the 1st century during the apostolic era, when Saint Peter arrived in Rome to evangelise and formed a significant early Christian community of believers there. Today, it is responsible for the governance of all Catholics, organised in their Particular Churches, Patriarchates and religious institutes. - The Prefecture for the Economic Affairs of the Holy See is an "office" (a technical category of dicastery) of the Roman Curia, erected on 15 August 1967, and entrusted with overseeing all the offices of the Holy See that manage finances, regardless of their degree of autonomy. - Giuseppe Caprio ( 15 November 1914 -- 15 October 2005 ) , was an Italian cardinal of the Roman Catholic Church . He held the post of President of the Prefecture for the Economic Affairs of the Holy See before he retired in 1990 . He had been the internuncio , then pro-nuncio , to China from 1959 -- 1967 , and the pro-nuncio to India from 1967 -- 1969 . He then transferred to the Roman Curia , serving as secretary of the Administration of the Patrimony of the Holy See , then in the Secretariat of State , where he worked for Pope John Paul I before being appointed President of the Administration of the Patrimony of the Holy See in 1979 , then President of the Prefecture for the Economic Affairs of the Holy See in 1981 . He was elevated to cardinal in 1979 , becoming Cardinal - Deacon of S. Maria Ausiliatrice in Via Tuscolana . He was Cardinal protodeacon from 22 June 1987 . Cardinal Caprio opted for the order of cardinal priests on 26 Nov 1990 , and became the Cardinal - Priest of the Titulus S. Mariae de Victoria . He was also a Knight of St. Januarius . - The Roman Curia is the administrative apparatus of the Holy See and the central body through which the Roman Pontiff conducts the affairs of the universal Catholic Church. It acts in his name and with his authority for the good and for the service of the particular Churches and provides the necessary central organization for the correct functioning of the Church and the achievement of its goals. - A dicastery (from Greek "", law-court, from "", judge/juror) is a department of the Roman Curia, the administration of the Holy See through which the pope directs the Catholic Church. The most recent comprehensive constitution of the church, "Pastor bonus" (1988), includes this definition: Dicasteries of the Roman Curia. These dicasteries or departments are grouped in the following categories: What object entity has the relation of 'place of death' with the subject 'giuseppe caprio'? Choices: - central - most - roman - rome
rome
------
Information: - In Boolean logic , a formula is in conjunctive normal form ( CNF ) or clausal normal form if it is a conjunction of clauses , where a clause is a disjunction of literals ; otherwise put , it is an AND of ORs . As a normal form , it is useful in automated theorem proving . It is similar to the product of sums form used in circuit theory . All conjunctions of literals and all disjunctions of literals are in CNF , as they can be seen as conjunctions of one - literal clauses and conjunctions of a single clause , respectively . As in the disjunctive normal form ( DNF ) , the only propositional connectives a formula in CNF can contain are and , or , and not . The not operator can only be used as part of a literal , which means that it can only precede a propositional variable or a predicate symbol . In automated theorem proving , the notion '' clausal normal form '' is often used in a narrower sense , meaning a particular representation of a CNF formula as a set of sets of literals . - A computer program is a collection of instructions that performs a specific task when executed by a computer. A computer requires programs to function, and typically executes the program's instructions in a central processing unit. - Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. - Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. - In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms, along with accepted rules of inference. Axioms may be treated as conditions that must be met before the statement applies. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments; a proof must demonstrate that a statement is always true (occasionally by listing "all" possible cases and showing that it holds in each), rather than enumerate many confirmatory cases. An unproved proposition that is believed to be true is known as a conjecture. - Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy. What object entity has the relation of 'part of' with the subject 'conjunctive normal form'? Choices: - back - classification - computer - computer program - logic - mathematical logic - mathematics - order - proof theory - reasoning - science - set theory - theory
mathematical logic
------